A library of commonly used type constraints