Is there anything we lose with MonoFoldable?
问题 MonoFoldable in the mono-traversable package seems to be able to implement all of the usual Foldable containers and more, for example, things like Bytestring and homogeneous tuples can be made MonoFoldable but not Foldable . My question is, do we lose anything from MonoFoldable that we don't have in Foldable , aside from requiring some advanced GHC features, making it slightly more tricky for instance writers and perhaps getting uglier error messages? For example, is there some code which