J has 'monads' but they're just functions that take a specific number of arguments. Terminology overloading is unfortunate.