O programa 'haskell-bimap' permite a criação de um mapeamento bidirecional entre dois tipos de chave. Isso  significa que é possível associar uma chave do tipo A a uma chave do tipo B, e também é possível fazer o mapeamento inverso, associando uma chave do tipo B a uma chave do tipo A. Esse recurso pode ser útil em diversas situações, como na criação de tabelas de tradução ou em situações em que é necessário associar elementos de diferentes tipos. 