Correct Foldable instances