type _ t =
     X of string
   | Y : bytes t