There is even an example of how to write statically-checked non-empty lists at [1]. [1] http://www.haskell.org/haskellwiki/Non-empty_list http://www.haskell.or

There is even an example of how to write statically-checked non-empty lists at [1]. [1] http://www.haskell.org/haskellwiki/Non-empty_list http://www.haskell.org/haskellwiki/Non-empty_list