Not all subtyping is bad. For example, automatic type abstraction/application is a well-behaved form of subtyping. Same thing for row polymorphism or polymorphic variants twitter.com/PhilipWadler/s
This Tweet is unavailable.
5
1
19
Conversation
Replying to
Also nice for making cumulative universes in dependent types more workable/less annoying!