A few remarks on role subtyping in the manual.

Authored by ezyang on Mar 6 2017, 5:22 PM.