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 affix 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.

Deprecated module type alias.