Stringly typed programming for Haskell