[Haskell-cafe] Categories with associated constraints?

Carter Schonwald carter.schonwald at gmail.com
Tue Aug 20 01:14:00 CEST 2013

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)


On Mon, Aug 19, 2013 at 6:45 PM, Conal Elliott <conal at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130819/9c3d7c7e/attachment.htm>

More information about the Haskell-Cafe mailing list