class Semifunctor f c d

data Bi p a

(#)

semibimap

semifirst

semisecond

first

second

data WrappedFunctor f a

data WrappedTraversable1 f a