Now it's compilable, type is inferred from function return type.