Added verified class for functor applicative and monad