/* initialize with unit and causing type mismatch in addition */

let 
	var a := ()
in
	a + 3
end