singletons-base assertion failures

See https://gitlab.haskell.org/ghc/head.hackage/-/jobs/1263130 from head.hackage

<no location info>: error:
    panic! (the 'impossible' happened)
  GHC version 9.5.20221214:
	ASSERT failed!
  :%|
  [a_iyZ0, a1_iyZ1]
  [n1_iyZ2, n2_iyZ3]
  [a1_iyZ1 ~# (n1_iyZ2 ':| n2_iyZ3), Sing n1_iyZ2, Sing n2_iyZ3]
  [TYPE: b_a1AFo,
   TYPE: Apply
           (Lambda_6989586621679297343Sym2 t_a1AFp t_a1AFq) n1_a1Ax8,
   TYPE: n1_a1AzX, TYPE: n2_a1AzY, CO: co_a1AzZ, ds_d1Eby, ds_d1Ebz]
  [TYPE: n1_a1AzX, TYPE: n2_a1AzY]
  [CO: co_a1AzZ, ds_d1Eby, ds_d1Ebz]
  Sub (Sym (D:R:SingNonEmpty[0]
                <b_a1AFo>_N)) (D:R:Applyk3k2Lambda_6989586621679297343Sym2arg_69895866216792970096989586621679297345[0]
                                   <NonEmpty a_a1AFn>_N
                                   <NonEmpty b_a1AFo>_N
                                   <a_a1AFn>_N
                                   <t_a1AFp>_N
                                   <t_a1AFq>_N
                                   <n1_X6>_N
                               ; D:R:Lambda_6989586621679297343[0]
                                     <NonEmpty a_a1AFn>_N
                                     <NonEmpty b_a1AFo>_N
                                     <a_a1AFn>_N
                                     <t_a1AFp>_N
                                     <t_a1AFq>_N
                                     <n1_X6>_N
                               ; D:R:Case_6989586621679297346[0]
                                     <a_a1AFn>_N
                                     <NonEmpty a_a1AFn>_N
                                     <NonEmpty b_a1AFo>_N
                                     <a_a1AFn>_N
                                     <n1_X6>_N
                                     <n1_X6>_N
                                     <t_a1AFp>_N
                                     <t_a1AFq>_N)
  ; Sub (D:R:SingNonEmpty[0]
             <b_a1AFo>_N) (Sym (D:R:Case_6989586621679297346[0]
                                    <a_a1AFn>_N
                                    <NonEmpty a_a1AFn>_N
                                    <NonEmpty b_a1AFo>_N
                                    <a_a1AFn>_N
                                    <n1_i1ble>_N
                                    <n1_i1ble>_N
                                    <t_a1AFp>_N
                                    <t_a1AFq>_N)
                           ; Sym (D:R:Lambda_6989586621679297343[0]
                                      <NonEmpty a_a1AFn>_N
                                      <NonEmpty b_a1AFo>_N
                                      <a_a1AFn>_N
                                      <t_a1AFp>_N
                                      <t_a1AFq>_N
                                      <n1_i1ble>_N)
                           ; Sym (D:R:Applyk3k2Lambda_6989586621679297343Sym2arg_69895866216792970096989586621679297345[0]
                                      <NonEmpty a_a1AFn>_N
                                      <NonEmpty b_a1AFo>_N
                                      <a_a1AFn>_N
                                      <t_a1AFp>_N
                                      <t_a1AFq>_N
                                      <n1_i1ble>_N))
  SNonEmpty
    (Apply (Lambda_6989586621679297343Sym2 t_a1AFp t_a1AFq) n1_X6)
  SNonEmpty
    (Apply (Lambda_6989586621679297343Sym2 t_a1AFp t_a1AFq) n1_i1ble)
  SNonEmpty
  SNonEmpty
    (Apply (Lambda_6989586621679297343Sym2 t_a1AFp t_a1AFq) n1_a1Ax8)
  Call stack:
      CallStack (from HasCallStack):
        assertPpr, called at compiler/GHC/Core/Opt/Arity.hs:2982:5 in ghc:GHC.Core.Opt.Arity
  CallStack (from HasCallStack):
    panic, called at compiler/GHC/Utils/Error.hs:454:29 in ghc:GHC.Utils.Error


Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug

which arises from this assertion in Core.Opt.Arity.

     assertPpr (eqType from_ty (mkTyConApp to_tc (map exprToType $ takeList dc_univ_tyvars dc_args)))      dump_doc $                                                                      
     assertPpr (equalLength val_args arg_tys) dump_doc $                         
     Just (dc, to_tc_arg_tys, to_ex_args ++ new_val_args)