Functions to verify properties of a List.
Fails if a List is empty.
notEmpty "error" [] --> Err ( "error" , []) notEmpty "error" [1] --> Ok [1]
Fails if a List is empty.