let type b = c
  type c = b
in
end