Updating: adding exhaustiveness check for funarg-pattern matching