I'm not quite sure what you mean by "nest". You can certainly have a computation expressed in terms of a defunctionalised initial algebra, which contains comput

I'm not quite sure what you mean by "nest". You can certainly have a computation expressed in terms of a defunctionalised initial algebra, which contains computations expressed in terms of different defunctionalised initial algebras.