Monad for discrete distributions.
Random games, unintegrated.
Rename Monad2 -> MonadJoin. Use bind' to define >>=.
Use regular ghc.
Threes game logic finished?