Type-safe multithreading in cyclone