diff --git a/Interp/Interpreter.hxx b/Interp/Interpreter.hxx
index 3e0d584..ba9a4c4 100644
--- a/Interp/Interpreter.hxx
+++ b/Interp/Interpreter.hxx
@@ -267,7 +267,7 @@ struct Visitor {
                     "Type mis-match in Fold expressions with Infix operator '" + fold->op + 
                     "', parameter '" + func->params[1] +
                     "' expected: " + func->type.params[1]->text() +
-                    ", got: " + stringify(ret) + " which is " + typeOf(value)->text()
+                    ", got: " + stringify(value) + " which is " + typeOf(value)->text()
                 );
 
                 Environment args_env;
diff --git a/Interp/Value.cxx b/Interp/Value.cxx
index 01ce692..c71593c 100644
--- a/Interp/Value.cxx
+++ b/Interp/Value.cxx
@@ -276,11 +276,11 @@ inline std::ostream& operator<<(std::ostream& os, const Environment& env) {
     if (std::holds_alternative<PackList>(lhs) and std::holds_alternative<PackList>(rhs))
         return get<PackList>(lhs)->values == get<PackList>(rhs)->values;
 
-    if (std::holds_alternative<ListValue>(lhs) and std::holds_alternative<ListValue>(lhs)) {
+    if (std::holds_alternative<ListValue>(lhs) and std::holds_alternative<ListValue>(rhs)) {
         return get<ListValue>(lhs).elts->values == get<ListValue>(rhs).elts->values;
     }
 
-    if (std::holds_alternative<MapValue>(lhs) and std::holds_alternative<MapValue>(lhs)) {
+    if (std::holds_alternative<MapValue>(lhs) and std::holds_alternative<MapValue>(rhs)) {
         return get<MapValue>(lhs).items->map == get<MapValue>(rhs).items->map;
     }
 
diff --git a/Parser/Parser.hxx b/Parser/Parser.hxx
index 7c8ae0f..fd389c7 100644
--- a/Parser/Parser.hxx
+++ b/Parser/Parser.hxx
@@ -451,7 +451,7 @@ public:
         // return std::make_shared<type::ExprType>(std::move(type));
 
         // log();
-        error("Invalid type!");
+        // error("Invalid type!");
     }
 
     std::unique_ptr<expr::Match::Case::Pattern> parsePattern() {