Haskell koan: Type-checked non-empty strings
exploring-better-ways.bellroy.com
A neat technique for defining a non-empty string constructor in Haskell.