ffi monad , incfcf.