# Pastebin 2CzwH3Iw
COALTON-IMPL> (unparse-type
               (derive-type
                (parse-form
                 '(coalton:fn f
                   (coalton:fn g
                     (coalton:let ((a (f g))
                                   (b (g 1)))
                       (a b)))))))

(COALTON:->
 (COALTON:-> (COALTON:-> COALTON:INTEGER #:T551) (COALTON:-> #:T551 #:T552))
 (COALTON:-> (COALTON:-> COALTON:INTEGER #:T551) #:T552))
 
 COALTON-IMPL> (compile-value-to-lisp
                (parse-form
                 '(coalton:fn f
                   (coalton:fn g
                     (coalton:let ((a (f g))
                                   (b (g 1)))
                       (a b))))))
(LAMBDA (F)
  (LAMBDA (G)
    (LET ((A (FUNCALL F G)) (B (FUNCALL G 1)))
      (FUNCALL A B))))