So we start with the context that can be an Either...
# arrow
i
So we start with the context that can be an Either or IO