Statically enforce invariants about non-empty lists

The GHC codebase is rife with comments to roughly the following effect: the list (is / must be) non-empty. We ought to statically enforce these with types.