Switch order of type and term in `as` definitions?

[deusaquilus]

That seems totally confusing to me. It looks like Ord[T] is being type-ascribed into Ord[List[T]] somehow… and that’s the definition of the given.