[Haskell-cafe] type hackery question

Nicolas Frisby nicolas.frisby at gmail.com
Sun Dec 17 19:43:09 EST 2006

[Sorry for the duplicate Jeff.]

> Is it possible to write a class which checks to see if two given type
> arguments are unifiable?

This will probably help:

That was Oleg's response to a post of mine:

I find his code is much clearer and idiomatic, but it offers a little
less control than mine (which kinda crosses the elegance boundary for
type hackery with kinds and such). Hopefully you just need the
Normalize type class.

Happy hacking,

More information about the Haskell-Cafe mailing list