package preface

The type held by the Invariant.

Transform an 'a t into an 'b t given a transformation from 'a to 'b and one from 'b to 'a.