Update impredicative.hs

Added explanation that only the second example requires impredicativity.
Merge pull request #23 from kwf/master

Update impredicative.hs