From: "andrew cooke" <andrew@...>
Date: Mon, 10 Sep 2007 19:38:06 -0400 (CLT)
HM-like types means unification which is effectively Prolog, so you should be able to write Prolog programs in Haskell types, right? At least, that's how I understand this (second article) - http://www.haskell.org/sitewiki/images/d/dd/TMR-Issue8.pdf Andrew