Dear Template Haskell users, I just wrote a short program with this declaration and got the following error message. ----- d_class = [d| class Classy a b where f :: a -> b instance Classy Int Bool where f x = if x == 0 then True else False |] ------ Class `Test.Classy' does not have a method `f' In the instance declaration for `Test.Classy Int Bool' In the definition of `d_class': d_class = [d| class Test.Classy a b where { Test.f :: a -> b {- has default method -}; } instance {Test.Classy Int Bool} where [] f x y = if x == 0 then True else False |] ------ This doesn't seem like correct behaviour to me. Sean