`typealias` nadaje nową nazwę istniejącemu typowi, poprawiając czytelność (np. długie typy funkcji). Nie tworzy nowego, odrębnego typu — to tylko alias.