Functor Monad_intf.S_to_S2

module S_to_S2: 
functor (X : S) -> sig .. end
Parameters:
X : S

type ('a, 'e) t = 'a X.t 
include X