Полиморфные типы теперь именуются одной буквой, по традиции.