Fix: Non-exhaustive Pattern