type t = | @foo X
