GHC是否有可能找到所有使用部分功能的地方？

Question

当我定义这样的部分函数时，GHC是否可以发出警告：

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

当我使用像这样的部分函数时：

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