https://nihil.cc/posts/cpp20_concept/