selective (hackage): Selective applicative functors: declare your effects statically, select which to execute dynamically.  This is a library for selective applicative functors, or just selective functors for short, an abstraction between applicative functors and monads, introduced in this paper.
Keywords: control|library|mit|haskell