Comment by DanWaterworth

That's not quite true, it must either be correct or bottom.

I can write:

  id :: a -> a
  id = id