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