Parametric Subtyping for Structural Parametric Polymorphism (via brendan) — discussion

#plt