let
hash t = t.hash