Update impredicative.hs

Added explanation that only the second example requires impredicativity.