let 
	type foo = int
	type bar = foo 
	function f (a:int, b:foo) :int = "b"
in 5
 end