type nonrec t = ((a:int -> unit (a:1))[@attr ])