Made some concrete functors and applicatives
Made Monad inherit from Applicative and imlement Applicative and Functor methods based on the Monad combinators