Consegui fazer funcionar a evolução dos estados e consegui criar a 'successor function'. Só estou meio perdido no Maybe State: eu preciso do Maybe para evoluir o estado, mas isto está deixando o código feio. Talvez eu experimente mônadas. De qualquer modo, está avançando bem.