Switched to using `EmptyDataDecls` for `X`