type nonrec 'a foo = < foo: int   ;.. >  as 'a
type nonrec 'a foo = < foo: int   >  as 'a