Adds also tail producer
Both args can be tail producer to the AlsoTailProducer
Fixup so tests pass
Use DummyImplicit
Some special casing so AlsoTailProducer survives intact through functionalization