Oℕ
Мало того, некоторые типы гипотетически нельзя конвертировать в
Size: a a a
2020 April 29
Oℕ
Например тот же Stream[ZIO[R, E, *], A]
λ
а таип класс будет поверх био?
Oℕ
А био при чём?
λ
ну многие стримы F[_,_]
Oℕ
Какие
λ
а кто-то однодырочный
AT
Какие
М Н О Г И Е
λ
ну fs2
λ
это уже многие, лол
Oℕ
там S[_[_], _]
Oℕ
это не био
AT
там эффект и результат
AT
совсем не био
Oℕ
и там свойства стрима зависят от первого
λ
ну ок
Oℕ
Для S[_[_], _] я немножко пытался писать абстракции в манатках
Oℕ
типа как для эндофункторов в эндофункторах
λ
я думал эффект это тоже аргумент
λ
поэтому и думал что, стрим тож бифунктор