ganesh at earth.li
Tue Mar 17 17:29:04 EDT 2009
I started writing RApplicative. It works fine, but you end up with loads
of Suitable constraints of the form Suitable f (a -> b).
Does anyone have any examples of applicative things with non-trivial
constraints where function types satisfy the constraint? I think some
DSELs might have this property, but otherwise I'm struggling to think of
More information about the rmonad