Comment by tpolzer

A std::monostate member will still have non zero size, because it needs a unique address.

See https://en.cppreference.com/w/cpp/language/ebo