Also, if I'm explicitly telling this code to use `...
# arrow
b
Also, if I'm explicitly telling this code to use
IO
instead of an arbitrary effectful
F
, should I be using
!IO
for effects in general instead of
!effect
? If so, why is that?