(# _ | _ #) :: TYPE
                 ('GHC.Types.SumRep
                    '[ 'GHC.Types.BoxedRep 'GHC.Types.Lifted,
                       'GHC.Types.BoxedRep 'GHC.Types.Lifted])