put the extfuns on `Kind2<ForEither, L, R>`
# arrow-contributors
p
put the extfuns on
Kind2<ForEither, L, R>