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