T5358.hs:14:12: error:
    Exception when trying to run compile-time code:
      runTest called error: forall (t_0 :: *) . t_0 -> GHC.Types.Bool
CallStack (from ImplicitParams):
  error, called at T5358.hs:15:18 in main:T5358
    Code: do { VarI _ t _ <- reify (mkName "prop_x1");
               ($) error ((++) "runTest called error: " pprint t) }
    In the untyped splice:
      $(do { VarI _ t _ <- reify (mkName "prop_x1");
             error $ ("runTest called error: " ++ pprint t) })