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