This is needed to compile in 7.0.
There are actual instances for type synonyms, but the extension only seems to be needed on 7.0.
They're not accessible, and will only generate warnings when OverloadedStrings is turned on.
Extremely Small Typo Fix
Nixed an unnecessary 'd'
And added a line of documentation.