more type constraint helpers