term0 :: Term
term0 = App (Lam "x" (Var "x" :+: Var "x")) (Con 10 :+: Con 11)
term0 :: Term
term0 = App (Lam "x" (Var "x" :+: Var "x")) (Con 10 :+: Con 11)
term0 = App (Lam "x" (Var "x" :+: Var "x")) (Con 10 :+: Con 11)