gistfile1.purs

newtype Complex = Complex 
   { real :: Number
   , imaginary :: Number 
   }

eqCplx :: Complex -> Complex -> Boolean
eqCplx (Complex a) (Complex b) = (a.real == b.real) `and` (a.imaginary == b.imaginary)
                                 where and :: Boolean -> Boolean -> Boolean
                                       and x y = x && y  
notEqCplxOK x y = not (eqCplx x y)

notEqCplxKO = not <<< eqCplx