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