Questions Why does using PatternSynonyms trigger a non-exhaustive match warning? byMRNovember 22, 2022