Because IMHO there's reasonable use of types and then there's "the type system is the code and the application is expressed merely as type transformations", whi

Because IMHO there's reasonable use of types and then there's "the type system is the code and the application is expressed merely as type transformations", which to me is fetishisation of types over getting things done. I'm not trying to say all types are bad.