On 16 Jan 2008, at 5:59 PM, Bruno Oliveira wrote:
Hello,
Maybe a more slightly more honest type for "decomp" would be:) :
decomp :: Injective f => f a :=: f b -> a :=: b
Perhaps. Although you *have* to have an implicit Injective
constraint on all type constructor variables to pull of Haskell's
first-order unification trick, so it's not a constraint that will be
relaxed soon (or, most likely, ever).
jcc
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
