When I trying to run this game http://docs.idris-lang.org/en/latest/effects/hangman.html I faced next thing. When type of game is
game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO]
code is compiled. But if I change it to
game : Eff () [STDIO, MYSTERY (Running (S g) w)] [STDIO, MYSTERY NotRunning]
the compiler does not like it anymore.
It looks to me like it can be the same problem. Sorry if I've missed something. Source code is attached. MysteryWord2.txt
Originally posted by @andreykl in https://github.com/idris-lang/Idris-dev/issues/1837#issuecomment-431627144