MonadLocal Strict.State
Remove unnecessary constraints
Test MonadLocal StateT
haddocks