backTest4 :: IO ()
backTest4 = back getSCs mapTagToArity term where
    mapTagToArity :: [(Tag, Arity)]
    mapTagToArity = [("Nil", 0), ("Cons", 2), ("1", 0), ("2", 0)]
    getSCs :: [SC]
    getSCs = [("const", (["x", "y"], CVar "x")), ("map", (["f", "xs"], CMat (CVar "xs") [("Cons", (["h", "t"], CApp (CApp (CCon "Cons") (CApp (CVar "f") (CVar "h"))) (CApp (CApp (CFcn "map") (CVar "f")) (CVar "t")))), ("Nil", ([], CCon "Nil"))]))]
    term :: Core
    term = (CApp (CApp (CFcn "map") (CFcn "const")) (CApp (CApp (CCon "Cons") (CCon "1")) (CApp (CApp (CCon "Cons") (CCon "2")) (CCon "Nil"))))

Cons (const 1) (Cons (const 2) Nil)