When you do this:
, terrible things happen.
Here's some nicely-formatted code:
which is now ruined.
id :: a -> a id x = const x x const :: a -> b -> a const x _ = id x
does that fix it? It doesn't seem to.
doesn't even stop at section boundaries:
error :: String -> a error str = error (error str)