Agda.TypeChecking.Substitute.DeBruijn
class
DeBruijn
a