Or if you insist in concrete data types then IO is...

# arrow

[raulraja]

Or if you insist in concrete data types then IO is the one better suited for that scenario since you are interfacing with external systems that may be async and side effecting.