Exhaustivity checking in scala · HackerTrans