Coercible: Do not check for data constructors

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