Time monadic computations with an IO base
