let
  type a = int
in
  0
end