verify left association of infix operators
verify how fold/foldLeft/foldRight work
aspiration to chain products
added general product diagrams