restructuring the mtl

[Conal Elliott]

Speaking of Identity, are there compelling reasons for it to be under
Control.Monad?  Of course Identity is a Monad, but it's in many other type
classes as well.  Similarly, I wonder why Monad is under Control, since
monads are not always about control.

More deeply, I wonder if type classes and module hierarchy are adversarial
notions.  Type classes are powerful because they cut across many different
kinds of uses.  Thus exactly where they're useful, they're also hard to
classify (assign to a slot in the hierarchy).

Just to be clear: I'm raising an issue for discussion.  I don't have a
proposal or even a direction.

- Conal

On 3/26/07, Neil Mitchell <ndmitchell at gmail.com> wrote:
>
> Hi
>
> I'm not a massive Control.Monad user, but:
>
> > The plan is to split Control.Monad.Identity, Control.Monad.Trans and
> > Control.Monad.Trans.* off into a separate (portable) package.
>
> Isn't Control.Monad.Identity very simple, very short and totally
> Haskell 98? Why can't it go in the standard MTL? I've only used State
> and Identity out of all the monads in MTL.
>
> Thanks
>
> Neil
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/libraries/attachments/20070327/f03ae241/attachment.htm