Type.Class.Nullary
class
Tag
t
unsafeTag
data
Proxy
t