Bad UnicodeSyntax

[id-ekaagr]

Example :

{-# language UnicodeSyntax #-}

module Main where

import Prelude qualified as A

data Detail
 = Detail
 { id             :: String
 , name           :: String
 }
 deriving (Show)

In any record :: is never converted to ∷ where UnicodeSyntax is enabled.

[id-ekaagr]

In fact it changes ∷ to :: when run, quite frustrating to deal with.