On 2010, July 18, 11:10
Iavor Diatchki wrote:
> Hi,
> When using monadLib, I use newtype deriving to get the Functor,
> Applicative, and Monad instances for my custom newtyped monad. Those
> work just fine, and there is nothing unsafe about them.
>
> For a custom monad, I usually don't derive M
On 2010, July 18, 23:27
Ivan Lazar Miljenovic wrote:
> When discussing a similar issue with Manuel Chakravarty, he convinced me
> that cunning newtype deriving is actually rather bad in practice and
> shouldn't be used as there's a lack of proofs or some such (I can't
> remember the arguments, bu
Recently I discovered for myself "monadLib" as an alternative for
mtl-like packages. It seems that "monadLib" has better interface,
but I'm quite confused with it's type classes: they have the
monad type variable before the effect type variable (e.g.
"ReaderM m i" instead of "ReaderM i m"). AFAIU,