Fix std::result_of<>