Agda.TypeChecking.ReconstructParameters
reconstructParametersInType
reconstructParametersInTel
reconstructParametersInEqView
reconstructParameters
dropParameters