Agda.TypeChecking.MetaVars
class HasMeta t
data MetaKind
type FVs