Added support for closed type families introduced in GHC 7.8