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