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

Dennis Raddle dennis.raddle at gmail.com
Thu Apr 12 19:47:47 UTC 2018

Let's say I've written a function on three types.

myFunc :: a -> b -> c
myFunc x y z = ...
    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?

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

More information about the Haskell-Cafe mailing list