Sharp Cards in Haskell: The Odds

Recap In a previous post I introduced a way to specify the action of drawing cards, culminating in the DrawM type: data DrawM card a = DrawFail | Done a | DrawOne (card -> DrawM card a) | DrawAny (DrawM card a) So a draw can fail, succeed (with a result), require another card to [...]Image may be NSFW.
Clik here to view.