doubling_monoid

template <class M>
concept doubling_monoid = std::is_void_v<M> || monoid<M>;

概要

ダブリングで M が取れる型か（void または monoid）

void は集約なし（遷移先のみ）、monoid は遷移に沿った値の集約を表す。