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