module M1 
(
  T(T, g)
) 
where

data T = T {
  fT :: T,
  g :: T
}