Random player; random generator in GGP monad