def IO.spawn
import Base232def IO.spawn(-A: Type, act: IO(A)) -> IO(Unit):
233 import "./effs/spawn.c"
234 import "./effs/spawn.js"
import Base232def IO.spawn(-A: Type, act: IO(A)) -> IO(Unit):
233 import "./effs/spawn.c"
234 import "./effs/spawn.js"