Et Haskell-koan som utforsker hvordan typesystemet kan brukes til å garantere at en streng aldri er tom ved kompileringstidspunktet. Artikkelen viser elegante løsninger for typesikker strenghåndtering.
Kilde: https://exploring-better-ways.bellroy.com/haskell-koan-type-checked-non-empty-strings.html