You have multiple build failures. Unsatisfiable is only available with base-4.19.0.0. Before that, there are some other tricks you can play. Here's a nice version I wrote a while back.

@treeowl Thank you for pointing it out! Then I will introduce compat module before/after GHC 9.8 and put your code (with naming tweaking) for older versions.

Ah, indeed there is already one - `Prelude.Linear.Unsatisfiable. In this time, I just use them.

An Unsatisfiable constraint on an instance serves two main purposes:

1. It documents (in the type error) that the instance is not unintentionally missing. This prevents, e.g., feature requests to have it added.
2. It ensures that no one wastes (further) time trying to write said instance. It can't be written and someone has checked carefully that that's the case.

Fair enough.

Are the messages I suggest clear enough? I haven't spend much time wordsmithing.

@treeowl Thank you for clarifying the purpose of Unsatisfiable. Yes, that's exactly my intention to prevent illegal orphan instances.

@aspiwack Thanks! I think it looks good, and committed into the PR.