Length and type constraints