This is a study of selective applicative functors, an abstraction between Applicative and Monad.
The idea was first prototyped in Haskell, and now we are
exploring its translation to OCaml.

Further reading

• A blog post introducing selective applicative functors: https://blogs.ncl.ac.uk/andreymokhov/selective.