Alex Knauth

The thing is, it's not really `#:opaque` that's the problem; it's opaque values passed as `Any`. The reason it comes up with `#:opaque` is because of the `Any` in the...

I think this still can be improved. For values coming from the untyped side, it shouldn't need to wrap it before passing the untyped value into the untyped predicate. What...

The way `cast` works now is by passing it through the typed-to-untyped border and then through the untyped-to-typed border with the new type; so those 3 cases can be reduced...

I have an example of why we need `any-wrap/c` on the typed to untyped border. If the predicate `x?` always returns true, then you could take a typed value `(λ...

When I was testing things for helping on [How to Type «…»](https://docs.racket-lang.org/shrubbery/tool-support.html#%28part._type-guillemet%29): The most convenient way I found on Windows was Alt while numpad 174 for `«`, or Alt while...

Re: `ListOfVectors = List` This would only be the case if `ListOfVectors` and `List` had a common supertype that implemented `PartialOrder` for them. In that case it wouldn't be "multiple"...

``` class Foo(a, b, c): equality: a b c ``` is an equivalent tree to ``` class Foo(a, b, c): equality: a; b; c ```

It would be good to replace the magic numbers in the hash-code method with a call to a hash-code-combine function similar to [`hash-code-combine` in `racket/src/cs/rumble/hash-code.ss`](https://github.com/racket/racket/blob/c28159300049ef2532f2e8dd62e8eba9c6b89a84/racket/src/cs/rumble/hash-code.ss#L315-L317).

For `hash-code-combine`, I've made a PR to racket here: https://github.com/racket/racket/pull/4546

Some updates for recur and hash-code-combine: https://github.com/racket/rhombus-prototype/pull/274