It would be interesting to try to emulate [Data.Extensible.Sum](https://hackage.haskell.org/package/extensible-0.4.8/docs/Data-Extensible-Sum.html), with it's use of `MemberShip`.
It would be interesting to try to emulate Data.Extensible.Sum, with it's use of
MemberShip.