Need monadic version of `dfsInstr`
Clarification and motivation
Currently, we have dfsInstr
that allows updates and folding, but in morley-debugger we want to be able to enumerate instructions, and that is an apparent use case for monads.
Acceptance criteria
- There is a monadic variation of
dfsInstr