The stream fusion paper provides the solution to this problem: extend our Step datatype with a Skip constructor, which indicates "loop again ...
確定! 回上一頁