%t = type { { \2*, \2 },
            { \2*, \2 }
          }

implementation