From 32215499f014f9e680748133529abed80d3c2e9b Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 21 Dec 2017 10:53:08 -0500
Subject: [PATCH] :memo: Fresh.

---
 src/Control/Monad/Effect/Fresh.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Control/Monad/Effect/Fresh.hs b/src/Control/Monad/Effect/Fresh.hs
index c06a2f11d..051a57177 100644
--- a/src/Control/Monad/Effect/Fresh.hs
+++ b/src/Control/Monad/Effect/Fresh.hs
@@ -6,6 +6,7 @@ import Control.Monad.Effect.Internal
 
 type TName = Int
 
+-- | An effect offering a (resettable) sequence of always-incrementing, and therefore “fresh,” type variables.
 data Fresh a where
   Reset :: TName -> Fresh ()
   Fresh :: Fresh TName