Data.SBV.Examples.Puzzles.Coins
type
Coin
mkCoin
combinations
c1
c2
c3
c4
c5
c6
puzzle