Wildcard type annotations

[Philippa Cowderoy]

Would it be possibly to support a 'wildcard' type (probably written "_" to 
match the pattern-matching syntax) that matched any inferred type without 
requiring any actual degree of polymorphism the way a type variable would? 
This would allow 'partial' annotations, making it easier to provide the 
type system with extra information without having to supply potentially 
complicated parameters that it can infer itself. Possibly the same thing 
could also be used in a type's constraint to indicate zero or more 
predicates other than those specified.

-- 
flippa at flippac.org

Society does not owe people jobs. 
Society owes it to itself to find people jobs.