Type.ApplyInfix, Pat.ExtractInfix