view bound with type constructor compilation error

gistfile1.scala

trait Foo[TC[_], V]

/* compilation error
 * -----------------
 * view_bound_error.scala:11: error: type T takes type parameters
 * def viewBound[T[V] <% Foo[T, V], V](value: T[V]) = value
 *                    ^
 * one error found
 */
def viewBound[T[V] <% Foo[T, V], V](value: T[V]) = value


/* view bound desugaring by hand compiles without problems
 * -------------------------------------------------------
 */
def viewBound[T[V], V](value: T[V])(implicit e: T[V] => Foo[T, V]) = value