but alternatively, I may be thinking about MonoK a...
# arrow
j
but alternatively, I may be thinking about MonoK as distinct to IO, and that might be the wrong approach