Module Generic_util_monad.T

module T: sig .. end

type 'f monad = {

	`return : 'a. 'a -> ('a, 'f) App.T.app;`
	`bind : 'a 'b. ('a, 'f) App.T.app -> ('a -> ('b, 'f) App.T.app) -> ('b, 'f) App.T.app;`

}