test :: [(IdentifierSC Identifier)]
test = [("main", ([], App (Fcn "f") (Con 1 0))), ("f", ([], App (Con 3 2) (Con 2 0)))]

main :: IO ()
main = compile test >>= interprete


출력:

 (3 (2) (1))