lab-monad1: class (Functor m, Pointed m) => Monad' m