Control.Monad.Resumption
data
ResT
m a
runResT
tick