Data.Generics.Sum.Subtype

Prisms

class AsSubtype sub sup