Is Haskell Aware of Monads?

The Haskell type system is not aware of monads, so it's not idiomatic to use them. With macros, I mean, it can be made okay. But the main thing that Haskell has going forward is that it can do inference on return types; that's a particularly critical feature for monads. So then is it typed or is it statically typed? Those are, that's a binary choice.