The theory behind CayMon is described in the paper Equational theories and monads from polynomial Cayley representations by Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
Note that the web version of CayMon is compiled from (an older version) of its Haskell source using the ghcjs compiler. This version is somewhat limited, as the current Haskell version can additionally produce Haddock documentation and QuickCheck tests to check some of the properties of the generated data structures.
The initial version of CayMon has been developed as a part of Algebraic Effects and Continuations, a project under National Science Centre, Poland, POLONEZ 3 grant number 2016/23/P/ST6/02217.
This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 665778.