<:< and <%< work similarly, but with slight variations:
-
A =:= Bmeans A must be exactly B -
A <:< Bmeans A must be a subtype of B (analogous to the simple type constraint<:) -
A <%< Bmeans A must be viewable as B, possibly via implicit conversion (analogous to the simple type constraint<%)