I had a ditch shovel that was made like the mfgr split a thin 8" pipe lengthwise, welded an arch in the middle with a place for a handle on the top, and a standard long handle there. This arch was made to swivel and set to any angle so the user could either pull or push the " shovel along to make a round-bottom ditch.
I had used it at my FIL's place while getting it ready to sell and left it there.
Someone else liked it so took it.
I've never been able to find another or any reference to it on the internet.
It was great for cleaning out small ditches.
Anyone ever heard of something like that "shovel"?