Теперь можно писать на хаскеле как на пыхе: http://hackage.haskell.org/package/acme-stringly-typed-1.0.0.0/docs/Acme-StringlyTyped.html