Is subtyping inside a wrapper type expected to work? Here's an example of a dispatching on a subtype inside an Option which causes a compiler error
I was hoping parameterized types in general had the same behavior as built ins like ref and ptr.