I see the issue is that I'm forgetting the ubiquity of dispatch here ;-) I 
don't really need to dispatch on the more specific type, I think. I 
primarily want the type checking, and I guess I can get that in an internal 
constructor. But how would I best go about doing that? I mean, I could just 
include a separate type assertion statement, but what's the idiomatic way 
of doing it?

Reply via email to