[rmonad] RApplicative

[Ganesh Sittampalam]

Hi,

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 
anything.

Cheers,

Ganesh