This \ocaml|'a Choice.t| type can be equipped with an applicative functor interface: \begin{minipage}{0.4\linewidth} \begin{Ocaml} module Choice : sig type 'a t = { dps : 'a Dps.t; direct : unit -> 'a; tmc_calls : tmc_call_info list; benefits_from_dps : bool; explici...