- Primitive:
    name: GHC.Types.MkCoercible
    primType: Constructor
    workInfo: Never