The walking bimodule as a VDC.
The walking bimodule, also known as the walking profunctor, is the
unital virtual double category freely generated by a pair of objects, here
called Left and Right, and a single proarrow
between them, here called Middle. In fact, this VDC has all
composites.