That's why I'm skeptical about using "cardinality" in error messages. It's cool to invent new terminology and such, but why not reformulate the error message in simple words that are already available? E.g. `Cannot splice $tpe with ..., use .. or define <an appropriate type of liftable>`.