package orsetto

Define a module of type Basis to make a monad with two type parameters, a phantom type and a 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.