prelude-hash @hash: @hash_func: @key_cmp_func: @key_destroy_func: @value_destroy_func: @Returns: @hash: @size: @hash_func: @key_cmp_func: @key_destroy_func: @value_destroy_func: @Returns: @hash: @hash: @key: @value: @Returns: @hash: @key: @Returns: @hash: @key: @Returns: @hash: @cb: