-- !!! exporting a field name (but not its type)
module M where
import Mod123_A

f :: T -> Int
f x = f1 x