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

[Dennis Raddle]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180412/9df5c4c6/attachment.html>