+ ; recursive types
+
+(test-types (substitute '((t1 (abs t1 t10))) 't1) '(abs t1 t10))
+
+(test-types (typecheck '(let ([bar (lambda (y) y)]
+ [foo (lambda (x) (foo (bar #t)))])
+ foo))
+ '(abs bool a))
+
+(test-types (typecheck '(let ([bar (lambda (y) y)]
+ [foo (lambda (x) (foo (bar #t)))])
+ bar))
+ '(abs a a))
+