let
level t = t.level