Module Generic_util_applicative.T

module T: sig .. end

type 'f applicative = {

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

}