J has 'monads' but it uses the term for functions taking a specific number of arguments. Monads are bad enough without overloading the term!