Generic type as generic constraint

[Jumhyn (Frederick Kellison-Linn)]

I’m not sure where things currently stand with this feature, but I think parameterized extensions should address this use case.