3 ms·

Cue is a bit too cute trying to combine the subtyping and inhabitance relations into one.

• skybrian 7y ago
  What problems do you see?