GTCs, Type and Context bounds have very similar syntax.
But GTCs do not have the same sugar that is available to the bounds.
def f[A, F[_]](implicit ev: F[A]) = ...
can be sugared to
def f[A: F] = ...
and for gtcs:
def f[A, B](implicit ev: B =:= A) = ...
so normally, one can assume that the following is valid
def f[A, B =:= A] = ...
however, it is not.
i assume it is because
<%< are identifiers rather than operators like