[Haskell-cafe] adjoint of coproduct & diagonal
derek.a.elkins at gmail.com
Sat Aug 2 23:11:15 EDT 2008
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.
More information about the Haskell-Cafe