@typed/new-type

Types for validating constraints