makeAcidic yields "‘Typeable’ is applied to too many type argument" with GHC-7.8.2 about acid-state HOT 3 CLOSED

[1 of 1] Compiling Test             ( /tmp/G.hs, interpreted )

/tmp/G.hs:28:1:
    Couldn't match type ‘IxSetStore κ’ with ‘IxSet (Entry κ)’
    arising from trying to show that the representations of
      ‘safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.Kind
         (IxSet (Entry κ))’ and
      ‘safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.Kind
         (IxSetStore κ)’ are the same
    Relevant role signatures:
      type role safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.Kind nominal
      type role IxSet nominal
      type role Entry representational
      type role IxSetStore nominal
    Relevant bindings include
      kind :: safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.Kind (IxSetStore κ)
        (bound at /tmp/G.hs:28:1)
    In the expression:
        GHC.Prim.coerce
          (kind ::
             safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.Kind (IxSet (Entry κ))) ::
          safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.Kind (IxSetStore κ)
    In an equation for ‘kind’:
        kind
          = GHC.Prim.coerce
              (kind ::
                 safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.Kind (IxSet (Entry κ))) ::
              safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.Kind (IxSetStore κ)
    When typechecking the code for  ‘kind’
      in a derived instance for ‘SafeCopy (IxSetStore κ)’:
      To see the code I am typechecking, use -ddump-deriv
    In the instance declaration for ‘SafeCopy (IxSetStore κ)’
Failed, modules loaded: none.
Prelude> 

[1 of 1] Compiling Test             ( /tmp/G.hs, interpreted )

/tmp/G.hs:29:1:
    Could not deduce (Ord κ)
      arising from a use of ‘safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.getSafeGet’
    from the context (SafeCopy κ)
      bound by the instance declaration at /tmp/G.hs:29:1-35
    Possible fix:
      add (Ord κ) to the context of the instance declaration
    In a stmt of a 'do' block:
      safeGet_IxSetEntryκ_aeaB <- safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.getSafeGet
    In the second argument of ‘Data.Serialize.Get.label’, namely
      ‘do { safeGet_IxSetEntryκ_aeaB <- safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.getSafeGet;
            ((return IxSetStore) <*> safeGet_IxSetEntryκ_aeaB) }’
    In the first argument of ‘safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.contain’, namely
      ‘Data.Serialize.Get.label
         "Test.IxSetStore:"
         (do { safeGet_IxSetEntryκ_aeaB <- safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.getSafeGet;
               ((return IxSetStore) <*> safeGet_IxSetEntryκ_aeaB) })’

/tmp/G.hs:29:1:
    Could not deduce (Ord κ)
      arising from a use of ‘safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.getSafePut’
    from the context (SafeCopy κ)
      bound by the instance declaration at /tmp/G.hs:29:1-35
    Possible fix:
      add (Ord κ) to the context of the instance declaration
    In a stmt of a 'do' block:
      safePut_IxSetEntryκ_aeaA <- safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.getSafePut
    In the first argument of ‘safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.contain’, namely
      ‘do { safePut_IxSetEntryκ_aeaA <- safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.getSafePut;
            safePut_IxSetEntryκ_aeaA arg_aeaz;
            return () }’
    In the expression:
      safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.contain
        (do { safePut_IxSetEntryκ_aeaA <- safecopy-0.9.0.1:Data.SafeCopy.SafeCopy.getSafePut;
              safePut_IxSetEntryκ_aeaA arg_aeaz;
              return () })
Failed, modules loaded: none.
Prelude> 

    • Couldn't match type ‘IxSet (Entry κ)’ with ‘IxSetStore κ’
        arising from a use of ‘GHC.Prim.coerce’
    • In the expression:
        GHC.Prim.coerce
          @(safecopy-0.9.4.1:Data.SafeCopy.SafeCopy.Kind (IxSet (Entry κ)))
          @(safecopy-0.9.4.1:Data.SafeCopy.SafeCopy.Kind (IxSetStore κ))
          kind
      In an equation for ‘kind’:
          kind
            = GHC.Prim.coerce
                @(safecopy-0.9.4.1:Data.SafeCopy.SafeCopy.Kind (IxSet (Entry κ)))
                @(safecopy-0.9.4.1:Data.SafeCopy.SafeCopy.Kind (IxSetStore κ))
                kind
      When typechecking the code for ‘kind’
        in a derived instance for ‘SafeCopy (IxSetStore κ)’:
        To see the code I am typechecking, use -ddump-deriv
      In the instance declaration for ‘SafeCopy (IxSetStore κ)’
    • Relevant bindings include
        kind :: safecopy-0.9.4.1:Data.SafeCopy.SafeCopy.Kind (IxSetStore κ)
          (bound at ParameterisedState.hs:29:1)
   |
29 | deriving instance (SafeCopy κ, Typeable κ, Ord κ) ⇒ SafeCopy (IxSetStore κ)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^