I recently was stumped when I wanted to write a function that dispatched on
'ASCIIString' versus 'UTF8String' but then had to deal with a
'SubString{ASCIIString}'. It made me think that given Julia's prolific use
of wrapper types, it would be very nice to be able to dispatch on a type T
and also any wrapper with a single type parameter of T that acts just like
a regular T.
As far as I'm aware, that's only possible with a UnionType, but that's
quite cumbersome to code, especially if you don't know the names of all the
wrappers you might see beforehand. Any thoughts on the feasibility of
something like this?