のような型パラメータとして渡すことはできないため、

のレコードを活用する上でしばしば不便となる。

パッケージで使われている方法。

class Incremental a where
  type Diff a
  diff :: a -> a -> Maybe (Diff a)
 
newtype WrapDelta h x = WrapDelta { unwrapDelta :: Maybe (Delta (h x)) }

instance WrapForall Incremental h xs => Incremental (h :* xs) where
 type Delta (h :* xs) = WrapDelta h :* xs

そもそもデータ族ならこの問題は発生しない。しかし、全部のインスタンスについて個別のデータコンストラクタを定義するのはなかなか面倒ではある。