Thanks to Skyb0rg007 the Fold type from the foldl package now has Cosieve and Costrong instances
The Cosieve instance is basically just noting that the cosieve method is the exact same thing as the fold function
However, the Costrong instance seems pretty interesting. I'm not sure what I would use it for, but it seems potentially very powerful from what I gleaned from reviewing it because it allows a Folds input to depend on its output (and Haskell's laziness ties the knot if the recursion is well-founded).