. "This fails, because newSTRef a does not work for all state types s -- it only works for the s from the return type STRef s a." . . .