but fundamentally I have lots of little functions ...

# arrow

[Bob Glamm]

but fundamentally I have lots of little functions that do one specific thing and have an I/O or side-effectful computation going on so they are all PLAIN_TYPE -> IO<...>