Parameter Key.V

type 'a t

The type for the key value that depends on 'a.