An expression of type IOSpec ForkS a corresponds to an IO computation that uses forkIO and returns a value of type a.
By itself, ForkS is not terribly useful. You will probably want to use IOSpec (ForkS :+: MVarS) or IOSpec (ForkS :+: STMS).