[julia-users] How to specify a template argument as a super type

[Scott Lundberg]

You can define:

abstract Name1{S <: Name2} <: Name3{S}

but I want to define:

abstract Name1{S <: Name2} <: S

However the second line does not work. Is there some other way to 
accomplish the same thing? Thanks!