Consider `tp.dealias match ...`