An inference $i:Q\Rightarrow R$ over processes $\mathrm{f:X\to A, g:Y\to B}$
with naturality equations: mapping commutes with composition.
$i(\mathrm{x}\cdot q)$
$\mathrm{f(x)}\cdot i(q)$
$i(q\cdot \mathrm{y})$
$i(q)\cdot \mathrm{g(y)}$
