Возможно ли для GHC найти все места, где используются частичные функции?

Question

Возможно ли, чтобы GHC выдавал предупреждение, когда я определяю частичную функцию следующим образом:

f :: Maybe Int -> Int
f (Just i) = i

и когда я использую частичную функцию следующим образом:

f :: [Int] -> Int
f = head