hehe they have bifunctor IO
# arrow
p
hehe they have bifunctor IO