What steps will reproduce the problem?

1. main _ = println []

What is the expected output? What do you see instead?

Compiler should complain that the type Num a => [String] -> IO () is more constrainted that the annotated one and it should refuse it.

Note that not only main but also all instance methods are annotated, if not by the user himself, then by earlier compiler passes.

fixed with r178