Get rid of VE
Simplify handleRelay
Export runEff
Don't export inj
Alternative runState
Revert "Simplify handleRelay"

This reverts commit 15b1e27f0a52d759f30ce4f7ddf1cb1bc84d615e.
State: use handleRelay
State.Lazy -> State; get rid of State.Strict
Writer.Lazy -> Writer; get rid of Writer.Strict
Reader.Lazy -> Reader; get rid of Reader.Strict
Simplify State
Fix Reader