[cvs-nhc98] patch applied (yhc): Prove once and for all that: type-correct /= correct; quickcheck properties should be mandatory; partial functions are bad; I am an idiot