[Haskell-cafe] type hackery question

[Nicolas Frisby]

[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:
  http://www.haskell.org/pipermail/haskell-cafe/2006-November/019705.html

That was Oleg's response to a post of mine:
  http://www.haskell.org/pipermail/haskell-cafe/2006-November/019610.html

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,
Nick