>The Z is Y. The Y is an X that does W. I'm not saying you shouldn't use examples to learn, I'm saying you should probably learn X and Y (type classes and HKT)

>The Z is Y. The Y is an X that does W. I'm not saying you shouldn't use examples to learn, I'm saying you should probably learn X and Y (type classes and HKT) before you try to learn Z (monads). Use as many examples as you like to learn them, but if you don't understand type classes and HKT, you will probably struggle to understand monads.