sig type +'a elt type +'a t end