type nonrec ('a, 'b) t = ..