rename makeMVal -> makeStateMVal, since it's specific to the State monad
slice should start at index 1, in Monad.mReturn
stubs for monad utils; better lib section visual separators