Modifying inferred type of deeply nested object - Theo's Typesafe Cult