404: Pattern Match Exhaustivity: C397, C392