The problem with fifos is not so much the fifo itself, but how to integrate memories. It should probably be done at the Seq language level, because you really do want to tuck them in. A fifo something that takes a memory, and produces a reader and a writer. This doesn't seem possible to express though. Let's write it out in woven form first and see how it can be rearranged.