{-# LANGUAGE UnicodeSyntax, ExplicitForAll #-}
module UnicodeSyntax where
import System.Environment (getArgs)

main :: IO ()
main
  = do as <- getArgs
       print $ test 0

test :: Int -> Bool
test x = x * 5 == x + 8

id1 :: forall a . a -> a
id1 x = x