Sure, but Scala supports monads via the 'for' construction and yet, no monad trait or class is defined in the base language at all. Even if they are defined ad-

Sure, but Scala supports monads via the 'for' construction and yet, no monad trait or class is defined in the base language at all. Even if they are defined ad-hoc on each type, there's value there.