How do I interpret a Free DSL program against a test-description of expected effects that should be performed?
How do I compare a program specified as a free monad against a description of expected instructions?