Use Data.Ord.Down instead of a helper module
Expand test case
coerce markes constructors as used
Coercible: Do not check for data constructors

as per
http://www.haskell.org/pipermail/ghc-devs/2013-September/002327.html