1 2 3 4 5
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>