package selective

Selective applicative functors

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.