clarified short-circuiting doesn't call chained functions but it does go through all the >>= calls
added worked examples for Alejandro Serrano Mena _Beginning_Haskell_ book