package preface

The type held by the Comonad.

Extract a 'a from 'a t. Dual of return.

Dual of join.

Mapping over from 'a to 'b over 'a t to 'b t.