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