It does not appear possible to tickle this without using the newtype-deriving
hack, but as the resulting core passes Core Lint this is othogonal to that bug.
The family of axioms produced is inconsistant: