Another note, with more help from friends: It turns out that GHC 6.4 will let me do,
newtype Floating a => Test a = Test [a] deriving Show x = Test [False, True] but, if I change "newtype" to "data", it then says, No instance for (Floating Bool) I'm not sure I quite understand what's going on. -- Mark _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe