Types for emulating Hash-like behaviours with ArrayRefs