UnicodeSyntax

```
{-# language UnicodeSyntax #-}

module Main where

import Prelude qualified as A

data Term a where
 Lit :: A.Int -> Term A.Int
 Succ :: Term A.Int -> Term A.Int
 IsZero :: Term A.Int -> Term A.Bool
 If :: Term A.Bool -> Term a -> Term a -> Term a
 Pair :: Term a -> Term b -> Term (a, b)
```

Here no instance of `->` gets converted to `→`.