package preface

The type held by the Functor.

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

Create a new unit t, replacing all values in the 'a t by unit.