BoydStephenSmithJr, > none of the modifying functors are the same as the type being defined, that is, we do not consider non-linear non-uniform recursion
Oh, fiddlesticks. I've been trying to use this paper for non-linear recursion. I think I might have to invent/discover instead of just mimic. I'm not as good at that! :P
Please send me your best references for non-linear non-uniform recursion since Blampied2000. Bonus points for #haskell code, but categorical abstract nonsense is fine, too.