> Expressive types are that next step up. Maybe, sometimes, ... - in practice, I've often seen them pave the path to madness. When types become "expressive" th

> Expressive types are that next step up. Maybe, sometimes, ... - in practice, I've often seen them pave the path to madness. When types become "expressive" the problem is that now you have to deal with 2 languages. An ok one and a soul suckingly bad one.