ParserNoForallUnicode.hs:5:8:
    Illegal symbol '∀' in type
    Perhaps you intended to use RankNTypes or a similar language
    extension to enable explicit-forall syntax: ∀ <tvs>. <type>