Generics.SOP.Universe

type Rep a

class Generic a

class HasDatatypeInfo a