whoops

src/Lib.hs

@@ -49,7 +49,7 @@ runTeletype = interpret $ \case
 -- main = runM (runState "fuck" foom) >>= print
 
 
-runState :: s -> Eff (State s ': r) a -> Eff r a
+runState :: s -> Eff (State s ': r) a -> Eff r (a, s)
 runState = stateful $ \case
   Get    -> S.get
   Put s' -> S.put s'

src/Wtf.hs

@@ -7,7 +7,7 @@ import Eff.Type
 import Data.Functor.Identity
 
 countDown :: Int -> Int
-countDown start = run $ runState "hello" $ runState start go
+countDown start = fst $ fst $ run $ runState "hello" $ runState start go
   where
     go :: Eff '[State Int, State String, Identity] Int
     go = get >>= (\n -> if n <= 0 then (pure n) else (put (n-1)) >> go)