The cardinality thing is elaborated above in https://github.com/scala/scala/pull/2691/files#r4952997. 

The `this type` should be reformulated, I think. It doesn't look like a big deal to say `Liftable[$tpe]` instead of `a Liftable of this type`.