interpretDslProgram.purs

program ∷ State → Dsl State
program init = 
  forward init
  >>= left
  >>= forward
  >>= right
  >>= forward
  >>= left
  >>= forward
  >>= backward
  
initial ∷ State 
initial = State { x: Ten, y: One, direction: East }

main ∷ Effect Unit
main = do
  log $ show initial
  s ← interpretDsl $ program initial
  log "Done!"