Expectation for an app, type-eq-var
Do blocks and counter monad