Parameter Concrete.2-IO

type 'a t = 'a S.io
val map : ('a -> 'b) -> 'a t -> 'b t