Monadizing doGameStep
Monadizing WorldAction