T :: (real(0 .. infinity) ~ "K" field ( x(grid)
                                      , y(grid)
                                      , z(half)
                                      ) on
      (i = 0 .. nlon + 1 by
       j = 0 .. nlat + 1 by
       k = 1 .. nlev
      )
     )