let
pos t = t.pos