Create Term.Instances module

- This allows us to differentiate between ToJSON instances for
SyntaxTerm

src/Term/Instances.hs

@@ -0,0 +1,11 @@
+{-# OPTIONS_GHC -fno-warn-orphans #-}
+module Term.Instances where
+
+import Prologue
+import Data.Record
+import Term
+import Data.Aeson
+
+instance (ToJSON leaf, ToJSON (Record fields)) => ToJSON (SyntaxTerm leaf fields) where
+  toJSON syntaxTerm = case runCofree syntaxTerm of
+    (record :< syntax) -> object [ ("record", toJSON record), ("syntax", toJSON syntax) ]