On 23/04/2010, at 01:34, Barak A. Pearlmutter wrote: > I'd suggest that compare involving a NaN should yield > > error "violation of the law of the excluded middle" Please think of the poor guys trying to write high-performance code in Haskell! Roman