Module C.IO

type 'a t
val return : 'a -> 'a t