I tend to agree, on my own personal scale of liberal/conservative (which has little to do with type systems), I'd rank Haskell as fantastically liberal. You cou

I tend to agree, on my own personal scale of liberal/conservative (which has little to do with type systems), I'd rank Haskell as fantastically liberal. You could probably enumerate the companies that use it in production on one hand.