Map fp style.
x && y
noop
Filter FP style.
find FP style.
The Applicative Order Y Combinator.
mayBe monad.