init? のようなものを導入するなら、昔僕が提案してたみたいな | を導入して、 T|E を Result<T, E> のシュガーにした上で、 init| とか導入しないと・・・。