In the same spirit, I like to have a type for non-empty lists, see this List1 module I found useful more than once.
2 Likes
In the same spirit, I like to have a type for non-empty lists, see this List1 module I found useful more than once.