使用 runEffect 執行管道
我們使用 runEffect 來執行我們的 Pipe:
main::IO ()
main = do
  runEffect $ naturalsUntil 10 >-> intToStr >-> fancyPrint
請注意,runEffect 需要 Effect,這是一個獨立的 Proxy,沒有輸入或輸出:
runEffect::Monad m => Effect m r -> m r
type Effect = Proxy X () () X
(其中 X 是空型別,也稱為 Void)。