mill pID howMany = do
  oldDeck <- use (playerWithID pID.deck)
  playerWithID pID.graveyard <>= take howMany oldDeck
  playerWithID pID.deck %= drop howMany
mill pID howMany = do
  oldDeck <- use (playerWithID pID.deck)
  playerWithID pID.graveyard <>= take howMany oldDeck
  playerWithID pID.deck %= drop howMany
mill pID howMany = do
  oldDeck <- use (playerWithID pID.deck)
  playerWithID pID.graveyard <>= take howMany oldDeck
  playerWithID pID.deck %= drop howMany