;; UndefType

(extern foo (Fun Int Foo))