Polymorphism in literal types about coco HOT 2 CLOSED

/home/barrucadu/projects/coco/examples/ComplexStack.hs:54:7: error:
    • No instance for (Data.Typeable.Internal.Typeable t)
        arising from a use of ‘lit’
    • In the expression:
        lit "pushLS" (pushLS :: A -> LockStack (ConcST t) A -> ConcST t ())
      In the ‘expressions’ field of a record
      In the expression:
        Sig
          {initialState = fromListLS,
           expressions = [lit
                            "pushLS" (pushLS :: A -> LockStack (ConcST t) A -> ConcST t ()),
                          lit
                            "popLS" (popLS :: LockStack (ConcST t) A -> ConcST t (Maybe A)),
                          lit
                            "peekLS" (peekLS :: LockStack (ConcST t) A -> ConcST t (Maybe A)),
                          ....],
           backgroundExpressions = [lit
                                      "whenJust"
                                      ((\ f s -> maybe (pure ()) (`f` s)) ::
                                         (A -> LockStack (ConcST t) A -> ConcST t ())
                                         -> LockStack (ConcST t) A -> Maybe A -> ConcST t ()),
                                    commLit
                                      "|||" ((|||) :: ConcST t A -> ConcST t B -> ConcST t ())],
           observation = const . toListLS, backToSeed = const . toListLS,
           setState = \ (LockStack v) -> modifyMVar_ v . const . pure}