lazyio-applicative

LazyIO applicative for asymptotic performance.

Producing data structures lazily is builtin pure haskell, but the IO monad is strict meaning Functor and Applicative have wildy different asymptotics (for IO). Using lazy IO allows effectful mappings WITH lazy streaming. LazyIO actions are expected to be commutative up to correctness.