lab: add function call and return snippet
lab: continuation and state: initial implementation without any state, but with correct return logic
lab: continuation and state: move State monad to the bottom of transformers stack to be able to more easily pull off only the upper continuation part without affecting the state