Just a missing case; I've eliminated the catch-all so that we get a warning next time we extend HsPat