State length error in place coordinate

To understand why dx is of type content , see Why is the value I receive from context always content? for more details.