We need something like: ``` implicit def SizedStructural2[T <: { def size() : Int }] : Sized[T] = new Sized[T] { def size(s : T) = s.size() } ```