Description
Provides selective applicative functors for Haskell. Selective functors sit between Applicative and Monad, allowing some branching while preserving more static structure than full monadic code.
It is useful for validation, static analysis of effects, parsers, build systems, and libraries that need conditional behavior with analyzable structure. It is an advanced developer library.