6 ms·

Typing in the Haskell et. al. tradition don't like subtyping. And they also like their parametericity.

• deleted 11y ago
  [deleted]