On Sat, 2008-08-02 at 20:00 -0700, Jason Dusek wrote: > Derek Elkins <[EMAIL PROTECTED]> wrote: > > h : A -> C and k : B -> C > > [...snip...] > > h : A -> B > > k : C -> D > > Are these the same h and k?
No. As it says in the line just before what you quoted these are -any- h and k. They do end up being instantiated to the above h and k albeit with specializations of the latter types. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
