async と throws をちゃんと区別してくれたら、 Future は Future<T, E> でいい気もします・・・。