Agda.TypeChecking.With
data ConPos