Arg => Term.Arg, Param.Type => Type.Arg, Pat.SeqWildcard => Pat.Arg.SeqWildcard