better explanation of 'optimised' >>=