Is the invariant on Line correct?

`Line` says:

> Represents a single, literal newline.
> This is always nested inside the left of a FlatAlt.
> Exposing this at the top level breaks a number of invariants we have.

But it is exposed at the top level by `hardLine`.

Is the invariant wrong?