Type lifting takes better care of multiple rules.