func foo() throws -> Foo // ↑これが func foo() throws some Error -> Foo // ↑これの略記だという解釈だとどうだ？