beezee/dependent-types-vs-exhaustive-match not found