let
  type a = b
  type b = c
  type c = int
in
  ...
end