Orphan Rule Type Parameter

A foreign trait is implemented for a type parameter that is not covered by a local type. The orphan rule requires that uncovered type parameters be preceded by a local type in the trait's type argument list.