Agda.TypeChecking.Substitute.DeBruijn

class DeBruijn a