{-# LANGUAGE UnicodeSyntax #-}

module ParserNoForallUnicode where

id' :: ∀ a . a → a
id' a = a