カスタム型クラスのインスタンス化：期待される型「b」を実際の型「Int」と一致させることができませんでした

私は現在、任意のカスタムタイプをに変換できるタイプクラスを実装しようとしていますIntegral（これらのタイプはすべてインデックスまたはウェイトに変換可能である必要があります）。この特定のケースでは、特定のオクターブの音符をピアノの鍵盤キーのインデックスに変換できることを確認するために使用したいと思います。

import Data.Int

class Convertible a where
  toIntegral :: Integral b => a -> b

data Note = Note Tone Int

instance Convertible Note where
    toIntegral (Note t o) = o * 12 + toIntegral t

しかし、コンパイラは、toIntegralforの実装がNote私の型Convertibleクラスに準拠していないと文句を言います。

    • Couldn't match expected type ‘b’ with actual type ‘Int’
  ‘b’ is a rigid type variable bound by
    the type signature for:
      num :: forall b. Integral b => Note -> b
    at src/Note.hs:11:5
• In the expression: octave * 12 + (num tone)
  In an equation for ‘num’:
      num (Note tone octave) = octave * 12 + (num tone)
  In the instance declaration for ‘Convertible Note’
• Relevant bindings include
    num :: Note -> b (bound at src/Note.hs:11:5)

私が理解している限り、toIntegral関数a -> Intをに制約した場合、関数の内容はに評価されると見なされますIntegral => b -> a -> b。型クラスをInt実装しているので、何が悪いのかわかりませんIntegralよね？

私がここで明らかに間違っていることを理解するのを手伝ってくれませんか？