sig type 'a bound = bound type 'a t = t end