Agda.Utils.Hash
hash