Верны ли следующие суждения о типах