From e2750c7ffe731bc81575cfb64d17a7a2ec8b1372 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 11 Dec 2018 16:17:12 -0500 Subject: [PATCH] Liiiiiiint --- src/Control/Abstract/Value.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Control/Abstract/Value.hs b/src/Control/Abstract/Value.hs index 76f70f1aa..d61c8ec03 100644 --- a/src/Control/Abstract/Value.hs +++ b/src/Control/Abstract/Value.hs @@ -197,7 +197,7 @@ newtype WhileC value m a = WhileC { runWhileC :: m a } unit :: (Carrier sig m, Member (Unit value) sig) => Evaluator term address value m value unit = send (Unit ret) -data Unit value (m :: * -> *) k +newtype Unit value (m :: * -> *) k = Unit (value -> k) deriving (Functor)