module Mod123_A (f1) where

data T = MkT { f1 :: Int }