Beyond the Limits of my GHC Knowledge

With UndecidableInstances, the answer is a resounding yes, with a fairly direct implementation. Without it, I keep getting stuck, though I'm not as comfortable with type families as some.

(I'm not OP on Masto, but I am interested in the answer.)