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