[Haskell] Semantics of Haskell

[Keean Schupke]

> When I looked through several papers about Haskell semantics, I found 
> that
> recursive datatypes have been omitted.

I believe fairly strong reasons have been given why this would be a bad 
thing, and
would result in problems for type-inference. Haskell has iso-revursive 
types, which if
defined using the 'newtype' directive should have no run-time cost.

Keean.