purescript/purescript — pull request #714 by paf31 (2014-11-17 04:24:45+00:00)
Title: Type Wildcards

Here is a port of the previous pull request. Now, type wildcards are disallowed except in `TypeDeclaration`s and `TypedValue`s.

@garyb @joneshf Could you please review?

I plan to create another issue to add support for named wildcards, which will be easier to implement at the same time as `ScopedTypeVariables`.