Part of the issue with the code in the screenshots...
# arrow
b
Part of the issue with the code in the screenshots above is that
.map
needs
(Boolean) -> Boolean
, not
(Boolean) -> IO<??, Boolean>