@@ -34,7 +34,7 @@ data Context = forall m a b. Context
34 -- the 'm' and 'f' in an 'm >>= f' operation of the monad
34 -- the 'm' and 'f' in an 'm >>= f' operation of the monad
35 -- In nested binds we store the current m only, but the whole stack of fs
35 -- In nested binds we store the current m only, but the whole stack of fs
36 , currentm :: m a
36 , currentm :: m a
37− , fstack :: [b -> m b]
37+ , fstack :: [a -> m b]
38 -- ^ List of continuations
38 -- ^ List of continuations
40 , mfData :: M.Map TypeRep SData
40 , mfData :: M.Map TypeRep SData