flip package:rank2classes

A nested parametric type represented as a rank-2 type