On Fri, Mar 07, 2008 at 08:07:57AM +0100, Tom Schrijvers wrote:
> >Am I correct in thinking this would have worked if it were an
> >associated type instead of an associated type synonym?
> >
> >ie,
> >
> >class C a where
> >   data T a
> >   val :: T a
> 
> Yes, you are. Associate data type constructors (as well as ordinary 
> algebraic data constructors) are injective. So we have:

Yay, that's what I though! (but was hesitant to suggest anything, since
I've never actually used associated anything...)  It's nice to hear that I
do understand some of this stuff.  :)
-- 
David Roundy
Department of Physics
Oregon State University
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to