{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE UnicodeSyntax #-} module ParserNoForallUnicode where id' :: ∀ a . a → a id' a = a