- BlackBox:
    name: GHC.Real.divZeroError
    kind: Expression
    type: 'divZeroError ::
      a'
    template: ~ERRORO
    workInfo: Constant
- BlackBox:
    name: GHC.Real.ratioZeroDenominatorError
    kind: Expression
    type: 'ratioZeroDenominatorError
      :: a'
    template: ~ERRORO
    workInfo: Constant
- BlackBox:
    name: GHC.Real.overflowError
    kind: Expression
    type: 'overflowError ::
      a'
    template: ~ERRORO
    workInfo: Constant