Data.Generics.Product.Subtype

class Subtype sup sub