/docs/examples/tcpoly/monads/
../
Monads.scala