(# _ | _ #) :: TYPE
                 (GHC.Types.SumRep [GHC.Types.LiftedRep, GHC.Types.LiftedRep])