Removing unused language extension.
Fixing Foldable instance.

Commit 1895f880 introduced a bug due to removing the whitespace before
foldMap.
Bug fixes in predecessor and deletion.