let type rec = { a : unknown } in rec { a = 42 } end