[cvs-nhc98] patch applied (hat): Partial fix for a hat-observe pattern involving infix constructors.