Had some somewhat rambly thoughts on representing market-making in substructural logics, wrote them up here .