Idiom for related types?

Actually, not if you define this constructor for the abstract type :slight_smile:

Leg{<:Cat}(A) = CatLeg(A)
3 Likes