Getters' return type inference