inverse {1,2,3} <: { 1 |-> "adeus" } :> {"bye","au revoir","adeus"} :-> {"adeus"}