-- | Forget that there is a plan, get the underlying Kleisli arrow.
unliftPlan' :: Monad m => Plan s w m i o -> i -> m o
unliftPlan' p i = extract <$> effects (runKPlan (pure ()) p i)
unliftPlan' :: Monad m => Plan s w m i o -> i -> m o
unliftPlan' p i = extract <$> effects (runKPlan (pure ()) p i)
unliftPlan' p i = extract <$> effects (runKPlan (pure ()) p i)