package preface

The type held by the Comonad.

Syntactic shortcuts for version of CORE.extend:

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

Syntactic shortcuts for version of CORE.map