This can be collapsed with `ConstInstances0`.