{ a }: Kind<ForFunction0, A>
# arrow-contributors
p
{ a }: Kind<ForFunction0, A>