Added newtype monad transformer and monad/functor derivations