Parameter HMap.2-V2

type 'a t