sig
val
wrap : (unit
->
'
a)
->
'
a
CCMonadIO
.t
end