Text this: Representing Continuous Functions between Greatest Fixed Points of Indexed Containers