;; ExternNotMonomorphic

(extern foo (Fun a Int))