Or add an `Internal` module with data constructors, so we can auto-derive `Generic`. I can provide a PR for the former, if maintainers fancy it.