[Haskell-cafe] Happstack related problem with templates/class methods

Hi! I'am trying to express a happstack component like the simplified one here: https://gist.github.com/763597 What exactly is the problem for the compiler? Is there a better way to describe such a "abstract" or parametrized component? Regards alios _

[Haskell-cafe] GADT and problems with rigid type variables

Hello, playing with GADTs I ran into a problem with rigid type variables which is ilustrated by the following example. I think it should be pretty clear what I'am trying to express... Any suggestions? snip {-# LANGUAGE GADTs #-} data Foo where Foo :: (Eq t) => t -> Foo instance Eq Fo