[Haskell-cafe] adjoint of coproduct & diagonal

[Derek Elkins]

On Sat, 2008-08-02 at 20:00 -0700, Jason Dusek wrote:
> Derek Elkins <derek.a.elkins at gmail.com> 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.