Agda.TypeChecking.Rules.LHS
data AsBinding