в другую сторону (т.е. запретить матчинг)?
можно bidirectional разделить на две части. https://gitlab.haskell.org/ghc/ghc/-/wikis/pattern-synonyms#explicitly-bidirectional-pattern-synonyms похоже на то, что вы хотите?
Обсуждают сегодня