consider how to handle both type and Generic alias in a uniform/consistent manner

[eywalker]

I'm starting to think that it'd actually be better to consider how to handle both type and Generic alias in a uniform/consistent manner. Let's address this as a separate issue.

Originally posted by @eywalker in #76 (comment)