From 07ed4e7215f46e94686015540d4f60bd61220cfa Mon Sep 17 00:00:00 2001
From: Joshua Potter <jrpotter2112@gmail.com>
Date: Sun, 10 Dec 2017 14:43:22 -0800
Subject: [PATCH] Add data constructors for transformer types.

---
 src/Postlude.hs | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/Postlude.hs b/src/Postlude.hs
index fe22554..b74293f 100644
--- a/src/Postlude.hs
+++ b/src/Postlude.hs
@@ -55,33 +55,33 @@ import Control.Monad.Trans as X
   )
 
 import Control.Monad.Trans.Either as X
-  ( EitherT, runEitherT
+  ( EitherT, EitherT(EitherT), runEitherT
   )
 
 import Control.Monad.Trans.Except as X
   -- Note runExceptT is not actually a type declaration within the ExceptT
   -- newtype but writing as follows for consistency's sake.
-  ( ExceptT, runExceptT
+  ( ExceptT, ExceptT(ExceptT), runExceptT
   )
 
 import Control.Monad.Trans.Maybe as X
-  ( MaybeT, runMaybeT
+  ( MaybeT, MaybeT(MaybeT), runMaybeT
   )
 
 import Control.Monad.Trans.Reader as X
-  ( ReaderT, runReaderT
+  ( ReaderT, ReaderT(ReaderT), runReaderT
   )
 
 -- Note there also exists a strict interpretation but we default to the lazy
 -- implementation.
 import Control.Monad.Trans.State as X
-  ( StateT, runStateT
+  ( StateT, StateT(StateT), runStateT
   )
 
 -- Note there also exists a strict interpretation but we default to the lazy
 -- implementation.
 import Control.Monad.Trans.Writer as X
-  ( WriterT, runWriterT
+  ( WriterT, WriterT(WriterT), runWriterT
   )
 
 import Data.Bool as X
@@ -123,7 +123,7 @@ import Data.Functor as X
   )
 
 import Data.Functor.Identity as X
-  ( Identity, runIdentity
+  ( Identity, Identity(Identity), runIdentity
   )
 
 import Data.Int as X