[Haskell-cafe] using type variables in type declarations inside function

Let's say I've written a function on three types. myFunc :: a -> b -> c myFunc x y z = ... where helper :: a -> [b] helper xx = ... Notice that I'm attempting to declare 'helper' using my type variables. I've noticed that this results in an error. Is this actually possible, and how? D