创建状态和IO的单栈堆栈的一种优雅方法

Question

是否有更好的方法在workout对象中创建 myObject[0].toDo = 'workout' 的实例？

编辑：我已经对其进行了编辑，现在看来对我来说很好，我们可以做得更好吗？

StateT[IO, S, A]