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