basic): an encodable type is countable (#15524)

Commit

3 years ago

feat(logic/encodable/basic): an encodable type is countable (#15524) Also simplify `nonempty (encodable X)` to `countable X`.

Author

urkud

Parents