Finish linear state monad.
Finish linear state monad.

Also, screw around to bypass issue with record projections being
unrestricted, cleanup LFunctor and write LApplicative instances.

m0ar/safe-streaming,m0ar/safe-streaming