I saw this when looking into the boolean predicates: https://github.com/fthomas/refined/blob/master/modules/core/shared/src/main/scala-3.0%2B/eu/timepit/refined/boolean.scala It would be nice to use `AllOf` but I'm wary about using hlists in a scala3 project. More context: https://discord.com/channels/632277896739946517/920140670394589224/1095773487395774534