A never-empty list type for Haskell.