Можно ли все использования `forSome` заменить эквивалентным использованием` _`?
Например, List [T] forSome {type T} эквивалентен List [ _] , но верно ли это для каждого возможного использования forSome или есть случаи, когда forSome не может быть заменен эквивалентом второго синтаксиса?