Description
It was pointed out on the FP slack that both of these classes exist in ConCat.Category, but are defined identically.
It seems like either the difference should be documented or one should be removed. Considering that the implementation of TracedCat (->) is the same as ArrowLoop (->), I'm assuming they're actually the same, in which case the preferred name just needs to be decided. I'm partial to TracedCat, as it's from CT and has better implementations already, but LoopCat matches the Haskell naming (ArrowLoop) and, judging by them being added in the same commit, perhaps has some relationship to DelayCat?
There's also a missing TracedCat (Constrained con k) instance which should be added.
I'm happy to do the work once I know which name is preferred.