Hello, if I understand correctly, 1. What used to...
# arrow
r
Hello, if I understand correctly, 1. What used to be
HK<OptionHK, A>
is now,
Kind<ForOption, A>
and 2. Downcasting a higher kind used
.ev()
and is now
.fix
?