On Wed, Sep 7, 2022 at 6:23 PM Per Bothner <[email protected]> wrote:
> Most do. `list` doesn't but it may not count as "ad-hoc polymorphic": > Right: `list`, like `cons`, `vector`, etc. are universally polymorphic. A vector of promises to deliver integers is not the same as a vector of integers. But `string` can force, because a string element can't be a promise to deliver a character; it should always be an actual character.
