On 17 Jan 2010, at 23:22, Will Ness wrote:
What are such types called?

Dependent ones.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to