Precursor.Control.Bifunctor
class
Bifunctor
p
bimap
first
second