Чат прямого эфира DevZen Podcast http://devzen.ru/
типы высшего порядка
имеется ввиду higher kinded types?