T20363b.hs:48:10: error: [GHC-55287]
    • • The newtype constructor pattern
        does not have a fixed runtime representation.
        Its type is:
          NestedTuple ('Suc 'Zero) Addr# :: TYPE
                                              (NestedTupleRep ('Suc 'Zero) 'AddrRep)
      • The argument ‘(# nullAddr#, (##) #)’ of ‘MkNT’
        does not have a fixed runtime representation.
        Its type is:
          NestedTuple ('Suc 'Zero) Addr# :: TYPE
                                              (NestedTupleRep ('Suc 'Zero) 'AddrRep)
      • The newtype constructor pattern
        does not have a fixed runtime representation.
        Its type is:
          NestedTuple 'Zero Addr# :: TYPE (NestedTupleRep 'Zero 'AddrRep)
      • The argument ‘(##)’ of ‘MkNT’
        does not have a fixed runtime representation.
        Its type is:
          NestedTuple 'Zero Addr# :: TYPE (NestedTupleRep 'Zero 'AddrRep)
    • In the pattern: MkNT (# i, (##) #)
      In an equation for ‘test2b’: test2b (MkNT (# i, (##) #)) = i