Support multi param type class instances
@@ -102,3 +102,28 @@ instance Foo Bar where
(type_constructor_identifier)
(type_constructor_identifier)
(type_variable_identifier)))))))))
+
+
+=========================================
+Multi-param Type Class Instance Declarations
+=========================================
+
+
+instance MonadEvaluator term value m => MonadCaching term value m where {}
+
+---
+
+(module
+ (type_class_instance_declaration
+ (scontext
+ (simple_class
+ (type_class_identifier)
+ (type_variable_identifier)
+ (type_variable_identifier)
+ (type_variable_identifier)))
+ (type_class_identifier)
+ (instance
+ (type_variable_identifier)
+ (type_variable_identifier)
+ (type_variable_identifier))
+ (where)))
