chl501Apr 4, 2024

Mapping a functor's 2 types **simultaneous**ly e.g. Foo[A, B] -> Foo[C, D] is `bimap`.

https://blog.ploeh.dk/2018/12/24/bifunctors/#c8062c28a0ed471a8995bee180d14aa6

#bifunctor #fp

Bifunctors

Bifunctors are like functors, only they vary in two dimensions instead of one. An article for object-oriented programmers.