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