Show, Eq, Ord, Map, Iter, Fold: handle inheriting from a parametric polymorphic variant type.