The error function tries to mimic the original one by accepting only Symbols. This significantly constrains error reporting because on the type level there is no show function and symbol manipulation.

I suggest to make its argument kind-polymorphic so that we can pass details on the error site.