From 1d4421e5122dd407075e28d30db531e60b2cddad Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Wed, 12 Dec 2018 09:47:00 -0500
Subject: [PATCH] Sort the Unit carrier after its handler.

---
 src/Control/Abstract/Value.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Control/Abstract/Value.hs b/src/Control/Abstract/Value.hs
index 3a7645c70..7827a2d26 100644
--- a/src/Control/Abstract/Value.hs
+++ b/src/Control/Abstract/Value.hs
@@ -208,13 +208,13 @@ instance HFunctor (Unit value) where
 instance Effect (Unit value) where
   handle state handler (Unit k) = Unit (handler . (<$ state) . k)
 
-newtype UnitC value m a = UnitC { runUnitC :: m a }
-
 runUnit :: Carrier (Unit value :+: sig) (UnitC value (Eff m))
         => Evaluator term address value (UnitC value (Eff m)) a
         -> Evaluator term address value m a
 runUnit = raiseHandler $ runUnitC . interpret
 
+newtype UnitC value m a = UnitC { runUnitC :: m a }
+
 
 data String value (m :: * -> *) k
   = String Text (value -> k)