Data.SBV.Examples.Puzzles.SendMoreMoney
sendMoreMoney