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