{-# LANGUAGE NamedFieldPuns #-}

data Record = Record { f1, f2, f3 :: Int }

goodPun Record{f1,f2,f3} = f1 + f2 + f3

badPun record = f1 + f2 + f3
    where Record{f1=f1,f2,f3} = record

main = return ()