Agda.TypeChecking.Rules.LHS.Instantiate

instantiateTel

nothingToSplitError