typeclass - 型クラス、インスタンス、ラッパー

Question

これ（バージョン 1）はコンパイルできるのに、下のバージョン（バージョン 2）はコンパイルできない理由を誰かが説明してくれませんか。

-- version 1 (compiles)
module Chapter2 where

import Debug.Trace

data Wrapper a = Wrapper a
instance showWrapper :: (Show a) => Show (Wrapper a) where
    show (Wrapper w) = "Wrapper ( " ++ (show w) ++ " )"

foo :: Number -> Number -> Number -> Number
foo a b c = a + b + c
foo1 = foo 2
foo2 = foo 1 2

class ExecFn a where
    exec :: a -> Number

instance execFn1 :: ExecFn (Number -> Number -> Number) where
    exec a = 99

main = do
    let x = exec foo1
    trace "Hello"

これはコンパイルされません

-- Version 2 (does not compile)
module Chapter2 where

import Debug.Trace

data Wrapper a = Wrapper a
instance showWrapper :: (Show a) => Show (Wrapper a) where
    show (Wrapper w) = "Wrapper ( " ++ (show w) ++ " )"

foo :: Number -> Number -> Number -> Number
foo a b c = a + b + c
foo1 = foo 2
foo2 = foo 1 2

class ExecFn a b where
    exec :: a -> Wrapper b

instance execFn1 :: ExecFn (Number -> Number -> Number) Number where
    exec a = Wrapper 99

main = do
    let x = exec foo1
    trace "Hello"    

そして私にこのエラーを与える

Error at src/Chapter2.purs line 3, column 1 - line 5, column 1:
  No instance found for Chapter2.ExecFn (Prim.Number -> Prim.Number -> Prim.Number) u8735

では、バージョン 2 に似たバージョンを作成して、結果をラッパーに入れるにはどうすればよいでしょうか?