I may need to say, that the output should be an `B...
# arrow
i
I may need to say, that the output should be an
B
so we run some computations with IO and output an
B