You suck at Haskell about as much as Don Stewart :) In this talk he describes how he builds large software systems in Haskell and eschews complicated type system features
https://skillsmatter.com/skillscasts/9098-haskell-in-the-lar...