:=> and field are shorthand for Tagged.

semantic-diff.cabal

@@ -61,6 +61,7 @@ library
                      , QuickCheck >= 2.8.1
                      , quickcheck-text
                      , semigroups
+                     , tagged
                      , text >= 1.2.1.3
                      , text-icu
                      , these

src/Data/Record.hs

@@ -1,12 +1,12 @@
 {-# LANGUAGE GeneralizedNewtypeDeriving, TypeOperators #-}
 module Data.Record where
 
+import Data.Tagged
 import Prologue
 
 infix 9 :=>
 
-newtype a :=> b = (:=>) b
-  deriving (Eq, Show)
+type a :=> b = Tagged a b
 
 field :: b -> a :=> b
-field = (:=>)
+field = Tagged