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