aesthetically I like it better, although the compi...
# arrow
p
aesthetically I like it better, although the compiler fails when used for
IO<Boolean>