Deeper

template has some problem when meet both of trait & type need the template

For example

trait Sort<T: type> {
    +sort() -> [T]
}
type List<T: type> (
    list: [T]
)
impl List<Student>: Sort<Student> {
    +sort() -> [Student] {
        // ... implementation
    }
}

It had repeated part.