These have similar trade-offs to the existing `Data` instances:
preserving abstraction at the cost of efficiency.

Due to haskell/cabal#5623, the tests exercising this feature have to
live in their own package.