let
(@~) t n = get t (t @> n)