在Haskell中，bind操作符（>>=）是用于将monad值传递给函数的工具。然而，在某些情况下，我们需要使用bind操作符来调用非monadic函数。这可能会导致编译器错误，因为非monadic函数不能像monadic函数一样返回一个monad。

解决这个问题的一种方法是使用continuation passing style（CPS）。CPS是一种编程技术，通过接受回调函数作为输入来避免使用返回值。我们可以将我们的非monadic函数转换为接受回调函数的形式，并使用另一个函数调用它，并返回一个monad。

下面是一个例子，演示了如何使用CPS将一个非monadic函数绑定到一个monad值上：

type MyMonad a = StateT Int IO a

-- 非monadic函数
foo :: Int -> (Int -> b) -> b
foo x f = f (x * 2)

-- 将foo转换为CPS形式
fooCPS :: Int -> (Int -> b) -> b
fooCPS x k = k (x * 2)

-- 使用fooCPS将state绑定到新值上
myFunc :: MyMonad ()
myFunc = do
    val <- get
    let callback = put
    liftIO $ fooCPS val callback

在这个例子中，我们将非monadic函数foo转换为它的CPS版本fooCPS。fooCPS接受一个回调函数k，并将计算结果传递给它。然后，使用fooCPS将state和一个回调函数put绑定在一起。这将调用fooCPS，并将put作为回调函数传递给它。fooCPS将计算结果（val * 2）传递给回调函数，该回调函数将新值放入state中。