[Haskell] Correct interpretation of the curry-howard isomorphism

[Lennart Augustsson]

JP Bernardy wrote:
> I'd say, check what any primitive 'proves' before
> using it. Besides that, calling other functions is ok.
Except for general recursion.
coerce :: a -> b
coerce = coerce

	-- Lennart