Data.LR: +[L:_R:_]′ +isL?-is-equiv