7332e9c1d ^
1 2
4: Pattern Match Exhaustivity: SATURDAY, FRIDAY, THURSDAY, SUNDAY 15: Pattern Match Exhaustivity: SATURDAY, FRIDAY, THURSDAY