Dear camlers,

A couple of libraries, like pgocaml for instance, define a functor over a (monadic) thread implementation, like in the following:

module type Thread = sig
type 'a t
val return : 'a -> 'a t
val bind : 'a t -> ('a -> 'b t) -> 'b t
end

module F(T : Thread) : sig
val v : string -> string T.t
end

Is it possible to define F as a function (ie at the value level)?

Cheers,
Philippe.