The throwing overload of flatMap should be removed. It is composable from flatMap and init(catching:) , and it is generally frowned upon to overload just on whether something is throwing or not.
a.flatMap { Result { try foo() }.mapError { $0 as Error } } となって辛そう。a.flatMap { Result { try foo() }.mapError { $0 as! FooError } }