Implicit objects converted to vals, and type-annotated