The Monocle package

Symbolic computations in strict monoidal categories with LaTeX output.
See monocle-usage.pdf and monocle-test.hs included in package.
One of goals of this project is to develop the tool for automatic
drawing diagrams of morphisms and proofs in form suitable for LaTeX (e.g. for XY-pic).