Agda.TypeChecking.MetaVars
class HasMeta t