P1878R1

Constraining readable types