Implemented first of monad laws for State - BindLeftIdentity