The same program can be made concrete to `Deferred...

# arrow

[raulraja]

The same program can be made concrete to DeferredK if you want to use coroutines instead of IO