`Countable` → `Finite` instance gives ambigous `encode`/`decode`.
See discussion in https://mattermost.mpi-sws.org/iris/pl/teh4sqsgx7rjbjifkwjn8y5xee
@simongregersen if you have a self-contained example where it goes wrong, please post it here.
See discussion in https://mattermost.mpi-sws.org/iris/pl/teh4sqsgx7rjbjifkwjn8y5xee
@simongregersen if you have a self-contained example where it goes wrong, please post it here.