4: Pattern Match Exhaustivity: SATURDAY, FRIDAY, THURSDAY, SUNDAY
15: Pattern Match Exhaustivity: SATURDAY, FRIDAY, THURSDAY