let
  type a = string
  var x: a := "test"
in
  x
end