transformationStep step = rewrite $ \e -> do
  c <- readEnvM
  step c e
transformationStep step = rewrite $ \e -> do
  c <- readEnvM
  step c e
transformationStep step = rewrite $ \e -> do
  c <- readEnvM
  step c e