11:44:00ck_so I'm not familiar with this part of the code, but from first glance it seems like there should be dotted pairs in the as and bs, where you have lists. So my first guess is that bands-op is being called with arguments it doesn't expect, leading to the recursion.