Haskell：用GHC找到缺少的实例

Question

我编写了一个包含许多数据类型的Haskell程序，例如：

data MyType = FirstType Int Int
            | SecondType [Double]
            | ThirdType Double Double Double
            ...

以及这些数据类型的一些实例，例如：

instance Show MyType where
  show (FirstType a b ) = "Some Messages "++show a++show b++" End"
  show (SecondType list ) = "Another Message "++show (head list)

是否有GHC选项可以找到不完整的实例声明（上面缺少的show (ThirdType a b c ) =）并避免程序失败？

更广泛地说，在Haskell程序中找到错误或遗漏的最常见GHC选项是什么？他们能找到什么？