bimap -is:exact -package:base package:bimaps

Bijection between finite sets. Both data types are strict here.
bijections with multiple implementations. Bijections between sets of values.