package orsetto

Core functions for monad operations.

Overview

This module defines the core functor modules and module types used in the Cf_monad interface. These definitions are used in Cf_seq to make the functor modules and module types that work with monad sequences, and those are in turn incorporated into the final Cf_monad interface.