Higher-rank hashable