let
  type intlist = {hd: int, tl: intlist}
  var x := intlist {hd= 10, tl = intlist {hd=20, tl=nil}}
  var y : intlist := "foo"
in
  x
end