{-# LANGUAGE DisambiguateRecordFields #-}
-- #2901

module T2901 where

f = F.Foo { F.field = "" }