7 ms·Functions which use IO are tagged as such in the type system. IO can call non-IO, but not vice-versa.by mrkeen 2y agoFunctions which use IO are tagged as such in the type system. IO can call non-IO, but not vice-versa.