Various function combinators lifted into the Kleisli category.
val id : 'a -> 'a t
id x a monadic identity function
val nothing : unit -> unit t
nothing is a computation that does nothing.
apply_n_times ~n f creates a chaing of computation of size
n made from applications of the same function to its own result.