sig type 'a t = 'end