sig
type
'
a key = key
type
(
'
a,
'
b) t =
'
b t
end