When do we get untyped objects like this?