Covers and classes no longer have a common root, match only needs to infer type when it is an expression