[Haskell-cafe] A question about algebra and dependent typing

[Derek Elkins]

On Mon, 2008-07-14 at 13:00 -0500, Nathan Bloomfield wrote:
> There's something I want to do with Haskell, and after tinkering for a
> while I think it's not possible. Before giving up entirely, I thought
> I'd try this mailing list.
>  
> I'm working on an abstract algebra library, using the "types are sets" strategy. For the algebraists out there, I'm trying to implement as much as I can of "Abstract Algebra" by Dummit & Foote in Haskell. I've got a Ring class definition that looks approximately like
>  

I haven't read most of the rest of this email, but you might want to
look at Serge Mechveliani's DoCon library if you haven't already:
http://www.haskell.org/docon/
>