T17817.hs:16:10: error:
    • Unsaturated use of a representation-polymorphic primitive function.
      The first argument of ‘mkWeak#’
      does not have a fixed runtime representation:
        a :: TYPE ('BoxedRep l)
    • In the expression: mkWeak#
      In an equation for ‘primop’: primop = mkWeak#