forall state ioContext parameters . (C parameters, C state) => Cons (forall r. ValueOf parameters -> a -> state -> CodeGenFunction r state) (forall r. ValueOf parameters -> CodeGenFunction r state) (Int -> IO (ioContext, parameters)) (Int -> ioContext -> IO b)