forall in signatures

[NCrashed]

Search query: zipM

Displayed result: zipMono :: a -> a -> a) -> v -> v -> v
Expected result: zipMono :: Proxy c -> (forall a. c a => a -> a -> a) -> v -> v -> v

[chrisreu]

@sebastian-philipp @alexbiehl

Looks like this is already fixed?

[alexbiehl]

Yes, an older version was deployed back then.

Chris Reumann notifications@github.com schrieb am Mo., 25. Mai 2015 um
19:49 Uhr:

@sebastian-philipp https://github.com/sebastian-philipp @alexbiehl
https://github.com/alexbiehl

Looks like this is already fixed?

—
Reply to this email directly or view it on GitHub
#39 (comment)
.