(let fibonacci (fix
	(fn fib' (Int -> Int) (Int -> Int)
		(fn n Int Int
			(case n
				(1 0)
				(2 1)
				(n
					(+ (fib' (-- n)) (fib' (- n 2)))
				)
			)
		)
	)
))