{ b -> { a } }: Kind<ForFunction0, B> thi...
# arrow-contributors
p
{ b -> { a } }: Kind<ForFunction0, B> this one is wrong