Hash has hash : a -> U64 | a has Hash

1