package preface

The type held by the Bifunctor.

Create a new ('a, 'b) t, replacing all values in the ('c, 'b) t by given a value of 'a.

Create a new ('b, 'a) t, replacing all values in the ('b, 'c) t by given a value of 'a.