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