show bug; haskell eqv