Update functor and monad type classes.