var x = 5 == 5; var y = x; fun(x){ var x = 5; Int y = 6; x y = 6; 6; if(true){5;}else{5;} '\t'; return 5; f(); f(x); f(1, 2, []); y = 5+x.fst.snd; } fun(x) :: Int Bool -> Int { } fun(x) :: -> Void { } fun(x) :: a b c [a] ([a], b) -> Void { }