Re: [Haskell-cafe] type hackery question

[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