Attempted another non-exhaustive patterns case without success