Added ImpredicativeTypes for GHC 7.8
Ignore sandbox config.
Depend on data-default-class instead of data-default.
Tidied up imports and exports.