I\'ve found one interesting syntax stuff. It\'s called Infix type.
Infix type
Example:
class M[T, U] new (Int M String)
And now I
From scala language, generalized type constraints
=:= => A=:=String => A must be String <:< => A<: A must be subtype of String