To see how laziness, first class functions, abstract and parametric polymorphism fit together. No, monads are not central to the language. Yes, the IO libraries and the main function are implemented with monads, as to retain purity (your effects are made up of values made from expressions that get interpreted, sort of).
The thing's as state of the art as you'll find in languages on which there are books and tutorials online to read.