Control.Monad protocol

Summary

Types

t :: term

Functions

bind(m, fun)

Specs

bind(t, (term -> t)) :: t