Sorry to interject a noob comment, and maybe I am not understanding the question but why not just call MonadState etc. Monad subclasses? "get" and "put" would then be Monad subclass functions.
-deech On 4/12/10, Stephen Tetley <stephen.tet...@gmail.com> wrote: > Hi Conor > > Chuan-kai Lin uses 'effect basis' in the ICFP paper on the Unimo > monads, otherwise I've seen 'operations' used. I'm on the fence for > 'effect basis' vs. 'non-proper morphisms', but biased against > 'operations' (as its not sufficiently characteristic). > > Best wishes > > Stephen > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
