I've not seen such, Mike Izbicki has something related for most of the other standard classes (though i've not looked closely at it myself)
http://hackage.haskell.org/package/ConstraintKinds-1.1.0.0 On Mon, Aug 19, 2013 at 6:45 PM, Conal Elliott <co...@conal.net> wrote: > Has anyone given a go at a Category class and friends (including cartesian > and closed) with associated constraints (presumably using the > ConstraintKinds language extension)? I gave it a try a while back and > wasn't able to keep the signatures from getting very complicated. > > Thanks, -- Conal > > _______________________________________________ > 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
