Functional hash data type