つまりExistentalがanyでかかれてGenericsがsomeのシュガーを持つ、と。めちゃくちゃわかりやすいんじゃないかなぁ