[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

[jandrewrogers]

...except if you use the standard [[no_unique_address]] attribute.