Mark constructors used in Coercible deriving as used

(to avoid spurious warnigs with -fwarn-unused-imports)

The implementation breaks the TcS abstraction a bit and can be
possibly be refactored.