let type a = (if 1 = 1 then int else string) in end