correction, only MonoFoldable fully generalizes