https://kotlinlang.org logo
#arrow
Title
# arrow
p

pakoito

04/24/2018, 12:26 AM
what it does, is, because Kind<ForList, A> can only be a ListK<A> because that’s the only implementor of Kind<ForList, A>, you can downcast safely