Changed abstract class error message
Test Coercible vs. imported constructors in Safe Haskell