<@U1BGZUC76> it should be simple enough, follow wh...
# arrow
p
@isto it should be simple enough, follow what
Id
does, but in the
EitherT
file. And Simon already gave you the function 😄