[ { "Primitive" :
    { "name"      : "GHC.Natural.NatS#"
    , "primType"  : "Constructor"
    }
  }
, { "BlackBox" :
    { "name"      : "GHC.Natural.underflowError"
    , "type"      : "underflowError :: a"
    , "templateE" : "~ERRORO"
    }
  }
]