let in let type list = {int, list} type empty = {} type a = {b} type b = {a} in end ; 1 end