3 ms·
Generally the IO monad means "FFI". So in that sense it is very distinctive. The reason they are all lumped into IO is because they all involve FFI. The thin
by nightski 12y ago
Generally the IO monad means "FFI". So in that sense it is very distinctive. The reason they are all lumped into IO is because they all involve FFI.
The thing is IO is generic. So IO (Db) and IO (Gui) are different things.