You would have to preempt the Standard Prelude. For ghc there is a command line switch I have neer used: -fno-implicit-prelude
See section 7.3.5 in the GHC user's guide for more. There are some internal caveats: "However, the standard Prelude Eq class is still used for the equality test necessary for literal patterns." Tom Hawkins wrote: > Hello, > > Is it possible to overload (==) to a type other than a -> a -> Bool? > > I have an abstract datatype that somewhat behaves like a C integer: a > comparison returns a boolean represented as the same datatype: > > (==) :: my_type -> my_type -> my_type > > Thanks for any help! > > -Tom > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe