what it does, is, because Kind<ForList, A> c...

# arrow

[pakoito]

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