Data.SBV.Examples.Puzzles.Birthday
type Month
type Day
may
june
july
august
valid
existsDay
forallDay
existsMonth
forallMonth
puzzle
cheryl