Czasami biegnę do „funkcji”, który Haskell pasuje tylko instancji głowy, mianowicie instance (a ~ NewDataTyp b) => C a
będzie teraz pasuje do jakiegokolwiek typu, czyli pisząc kolejną deklarację ins
Próbuję uzyskać show coś z typu Tagged s b (Data.Tagged) w module, który również importuje z biblioteki accelerate. Niestety, biblioteka przyspieszenia określa instancji pokazać instance Kit acc => Sh