Re: [Haskell-cafe] adjoint of coproduct & diagonal

On Sat, 2008-08-02 at 20:00 -0700, Jason Dusek wrote:

Derek Elkins 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.