Brandon S. Allbery KF8NH wrote:
typeOf / Typeable is itself an ugly special case,
Right. > and really should be designed into the languageThat's not necessary. The same thing can be done with top-level "<-" (see other thread).
-- Ashley Yakeley _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe