Added assign case of step function for resource monad