threeCoins: Randomness and the State Monad