{"body":"COALTON-IMPL> (unparse-type\n               (derive-type\n                (parse-form\n                 '(coalton:fn f\n                   (coalton:fn g\n                     (coalton:let ((a (f g))\n                                   (b (g 1)))\n                       (a b)))))))\n\n(COALTON:->\n (COALTON:-> (COALTON:-> COALTON:INTEGER #:T551) (COALTON:-> #:T551 #:T552))\n (COALTON:-> (COALTON:-> COALTON:INTEGER #:T551) #:T552))\n \n COALTON-IMPL> (compile-value-to-lisp\n                (parse-form\n                 '(coalton:fn f\n                   (coalton:fn g\n                     (coalton:let ((a (f g))\n                                   (b (g 1)))\n                       (a b))))))\n(LAMBDA (F)\n  (LAMBDA (G)\n    (LET ((A (FUNCALL F G)) (B (FUNCALL G 1)))\n      (FUNCALL A B))))","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/2CzwH3Iw","modified":1541379500,"id":"2CzwH3Iw","size":776,"lines":24,"own_paste":false,"theme":"","date":1541379500}