cefal

cefal copied to clipboard

dkormalev

Constraints vs static_assert

1

(This is not necessarily an issue). The way that the various type classes are implemented all look basically like [this](https://github.com/dkormalev/cefal/blob/95b583ad569274172ae53c14511861f602051dd8/include/cefal/instances/monoid/std_optional.h#L39-L42): ```cpp template static std::optional append(T1&& left, T2&& right) { static_assert(std::is_same_v,...

brevzin