async sequence、モナド記法もそのまま使える気配があるので、モナド記法なら型付きFailureが役に立つんだと思います