From a2312d11857c626b9239a0bdc574914591138ac3 Mon Sep 17 00:00:00 2001
From: Rob Rix <robrix@github.com>
Date: Tue, 8 Oct 2019 15:42:21 -0400
Subject: [PATCH] :memo: ShowSum.

---
 semantic-tags/src/AST/Element.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/semantic-tags/src/AST/Element.hs b/semantic-tags/src/AST/Element.hs
index ab314f638..7487a6c94 100644
--- a/semantic-tags/src/AST/Element.hs
+++ b/semantic-tags/src/AST/Element.hs
@@ -70,6 +70,7 @@ instance TypeError
   prj' _ = Nothing
 
 
+-- | Show a sum tree as a set (for use in type errors).
 type family ShowSum t where
   ShowSum (l :+: r) = ShowSum' ('Text "{ ") (l :+: r) ':$$: 'Text "}"
   ShowSum t         = 'Text "{ " ':<>: 'ShowType t ':<>: 'Text " }"