Take IO out of Future, which means Future is not a Monad anymore but it behaves properly