let
hash (_, hsh) = hsh