add Functor and Monad instances for Prelude types