Tradeoffs of highly-expressive types · Programming should be enjoyable
jnkr.tech
Or, hypertyping considered sometimes harmful, sometimes beneficial, it's complicated really

This is an attempt to unify a few threads around type safety that I’ve encountered and put a slightly different spin on them.