package preface

The type held by the Comonad.

Syntaxic shortcuts for version of CORE.extend:

let@ x = e in f is equals to extend f e.

Syntaxic shortcuts for version of CORE.map