swiftのOptional、機能的にも型的にも明らかにHaskellのMaybeじゃないですか。なのに中途半端にunion Optionalに寄せるようなことしていて、