non exhaustive match, right?  What about None?