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