While trying to find a haskell monad that can be executed stepwise / allows threading, I discovered the free monad data Free f a = Return a | Roll (f (Free f a)) with its monad instance instance (Functor f) =&...Learn More