bimap -package:pgp-wordlist -package:base-prelude package:first-class-families

data Bimap
first-class-families Fcf Fcf.Class.Bifunctor Fcf.Classes
Type-level bimap. 
>>> :kind! Eval (Bimap ((+) 1) (Flip (-) 1) '(2, 4))
Eval (Bimap ((+) 1) (Flip (-) 1) '(2, 4)) :: (Nat, Nat)
= '(3, 3)