- BlackBox:
    name: GHC.Err.error
    kind: Expression
    type: 'error :: [Char]
      -> a'
    template: ~ERRORO
    workInfo: Constant
- BlackBox:
    name: GHC.Err.errorWithoutStackTrace
    kind: Expression
    type: 'errorWithoutStackTrace
      :: [Char] -> a'
    template: ~ERRORO
    workInfo: Constant
- BlackBox:
    name: GHC.Err.undefined
    kind: Expression
    type: 'undefined :: a'
    template: ~ERRORO
    workInfo: Constant