not there yet, the flatMap tells me: ``` Required:...
# arrow
k
not there yet, the flatMap tells me:
Copy code
Required:
IOOf<TypeVariable(B)> /* = Kind<ForIO, TypeVariable(B)> */
Found:
Either<Unit, Session>