Generics.Eot
class HasEot a
data Datatype
data Constructor
data Fields
data Void
class Generic a
data Proxy k t