Agda.TypeChecking.Rules.LHS.Instantiate
instantiateTel
nothingToSplitError