From c358bfad08250fe84e22b2fc79e8a99bc71d6c79 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Fri, 8 Sep 2017 17:00:09 +0100
Subject: [PATCH] Define a Show1 instance for TermF.

---
 src/Term.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Term.hs b/src/Term.hs
index ee7ccd14e..67ca7900b 100644
--- a/src/Term.hs
+++ b/src/Term.hs
@@ -141,3 +141,6 @@ instance (Eq1 f, Eq a) => Eq1 (TermF f a) where
 
 instance Show1 f => Show2 (TermF f) where
   liftShowsPrec2 spA _ spB slB d (a :<< f) = showParen (d > 5) $ spA 6 a . showString " :<< " . liftShowsPrec spB slB 5 f
+
+instance (Show1 f, Show a) => Show1 (TermF f a) where
+  liftShowsPrec = liftShowsPrec2 showsPrec showList