ну мол вот есть у меня тип Omega
, у него есть какие-то элементы
могу сделать тип функций Omega => Double
, он будет населен какими-то разными функциями из омеги в дабл
А вот как например выразить тип, который будет подмножеством омеги?
или тип вроде Boolean[Omega], который будет множеством всех подмножеств омеги?
Предикатом над типом, определяющим, что элемент входит в подтип?