Monads in Joy, a concatenative language: https://web.archive.org/web/20100816085746/http://www.latrobe.edu.au/philosophy/phimvt/joy/j04alg.html