Implement Functor ((->) a)