Function replicateM_Impl

develop/include/typeclass.h:1772–1785

// for IO
template <typename MData>
constexpr inline auto replicateM_Impl (size_t times, MData const& mdata)
{
    static_assert(isMonadV<MData>);
    return data::io(
        [=]
        {
            for (size_t i = 0; i < times; ++i)
            {
                mdata.run();
            }
            return _o_;
        }
    );
}

constexpr inline auto replicateM_ = toGFunc<2>([](size_t times, auto mdata)
{