Control.Future
data Progress a b
data Future a b
type Future'
forceFuture
waitFuture
maybeChance
eitherChance
asyncIO
runAction