haskell - インスタンス宣言エラーのコンテキストへの追加 (Erf prob) の理解

Question

次のエラーが発生する理由を理解しようとしていますが、

add (Erf prob) to the context of the instance declaration

erffromを使用している単純なインスタンスがありますData.Number.Erf

instance (Floating prob) => CDF (Normal prob) where
    cdf dist dp = ( 0.5 * ( 1 + erf ( (x - mu)/ (sqrt $ sigma2 *2) )))

しかし、ghc-7.6.3 は上記に文句を言うでしょう。考えられる修正は、これが必要な理由を説明できる人は誰でもできるように変更instance (Floating prob)することです。instance(Floating prob, Erf prob)`