Data.Generics.Record.Subtype

class Subtype sub sup

super