{-# LANGUAGE UnicodeSyntax #-}
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