sdiehl/wiwinwlh — pull request #23 by kwf (2014-12-11 01:13:56+00:00)
Title: Update impredicative.hs

Added explanation that only the second example requires impredicativity.