9: Pattern Match Exhaustivity: Nil
23: Pattern Match Exhaustivity: true, false
27: Pattern Match Exhaustivity: _: Int