The IOSpec f a is merely type synonym for IO a. Once you've
tested a module, you can use these definitions to avoid having to
change your type signatures.
Note that because this definition of IOSpec ignores its f
argument, each of ForkS, MVarS, etc., is simply an empty data
type.