/docs/examples/tcpoly/monads/