Parameter HMap.1-V1

type 'a t