sig type 'a elt type 'a t end