snippets as state monads