Functor
More pointfree/applicative