Generics.SOP.Universe
type
Rep
a
class
Generic
a
class
HasDatatypeInfo
a