Started work on Functor and Applicative - for Maybe initially