So what about wrapping those in kleisli/reader. The examples seem to put it at the outside edge of all the algebra. Is that correct? If the 'CameraContext' has an android context, and CameraManager, should I use reader and make the cameraId (so like the front camera has it's own id), or use kleisi?