package orsetto

Define a module of type Basis to make a monad with a single type parameter for its return type.

A module type that defines the infix monad operators.

A module type that defines the core monad functions.

Use Create(B) to make the core monad functions for the basis module B.