Cokleisli.Bifunctor
module C : Preface_specs.Contravariant.CORE
type ('a, 'b) t = 'a C.t -> 'b
The type held by the Bifunctor
Mapping over both arguments at the same time.
Create a new ('a, 'b) t
, replacing all values in the ('c, 'b) t
by given a value of 'a
.