template <typename Ok>