Portability  GADTs, Rank2Types 

Stability  provisional 
Maintainer  Edward Kmett <ekmett@gmail.com> 
Safe Haskell  None 
Left distributive Alternative
functors for free, based on a design
by Stijn van Drongelen.
Documentation
Alt  

runAlt :: forall f g a. Alternative g => (forall x. f x > g x) > Alt f a > g aSource
Given a natural transformation from f
to g
, this gives a canonical monoidal natural transformation from
to Alt
fg
.