package jhupllib

  1. Overview
  2. Docs
type 'a m
include Monad with type 'a m := 'a m
val pure : 'a -> 'a m
val bind : 'a m -> ('a -> 'b m) -> 'b m
val zero : unit -> 'a m
val plus : 'a m -> 'a m -> 'a m