9: Pattern Match Exhaustivity: Horse(_)