foo : PrimIO ()
foo = prim__IO ()