Add type checking for absurd patterns