その場合って、 failable な型が重複して似た仕組みを持つことになるけど、それは仕方ないか・・・。