let type a = b type b = a in end