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