@@ -23,4 +23,11 @@
 
 @type "if" = fun(c,t,e) {@value(
  if(@type(c)=="int" ): mergeType(@type(t()), @type(e())) else : "error"
 )};
+
+def fib(x)
+{
+	if x<2 then 1 else fib(x-1) + fib(x-2)
+};
+
+print( @type(fib(10)) );