Added interfaces Functor and Monad.