1 2 3 4 5 6 7
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE UnicodeSyntax #-} module ParserNoForallUnicode where id' :: ∀ a . a → a id' a = a