Haskell / GHC - есть ли инфиксный тег / прагма для «предупреждать неполные шаблоны»

Я ищу прагму, которая будет предупреждать о конкретном незавершенном шаблоне. Это приведет к сбою компилятора со следующим (гипотетическим) кодом:

{-# FAILIF incomplete-patterns #-}
f :: Int -> Int
f 0 = 0

Я пытаюсь написать «компилятор» с помощью стрелок, и знание того, что сопоставление с образцом завершено, поможет изолировать ошибки. Спасибо!