Redundant + prop chain + type infer