type 'a t
val map : 'a t -> f:( 'a -> 'b ) -> 'b t
map xs ~f transform xs with f
map xs ~f
xs
f
val apply : ( 'a -> 'b ) t -> 'a t -> 'b t
apply fs xs apply functions fs to xs
apply fs xs
fs