[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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe