Green threading library.
let resume : Thread -> Result String ()
let yield : () -> ()
let spawn : (() -> ()) -> Thread
let spawn_on : forall a . Thread -> (() -> IO a) -> IO (IO a)
let new_thread : () -> IO Thread
let interrupt : Thread -> IO ()
let sleep : Int -> IO ()
let join : forall b a . IO a -> IO b -> IO (a, b)