7332e9c1d ^
1 2 3
9: Pattern Match Exhaustivity: Nil 23: Pattern Match Exhaustivity: _: Boolean 27: Pattern Match Exhaustivity: _: Int