Integral of Two-dimensional Fine-computable Functions

We discuss effective integrability and effectivization of Fubini's Theorem for a Fine-computable function F(x,y) on the upper-right open unit square. The core objective is Fine-computability of f(x)=∫[0,1)F(x,y)dy as a function on [0,1).