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