1{-# LANGUAGE UnicodeSyntax, ExplicitForAll #-} 2module UnicodeSyntax where 3 4import System.Environment (getArgs) 5 6main ∷ IO () 7main = do 8 as ← getArgs 9 print $ test 0 10 11test ∷ Int → Bool 12test x = x*5 == x+8 13 14id1 ∷ ∀ a . a → a 15id1 x = x 16