Two low-hanging fruits: Replace the phrase 'unification error' with the phrase 'type error', and replace '<UNIF:nnnn>' with a lowercase letter like GHC does. GHC also has pretty good formatting for type errors, which would go a long way here as well. Perhaps this could be an application of https://github.com/urweb/urweb/issues/59 ?