1 2 3 4 5 6 7 8
{-# LANGUAGE RecordWildCards #-} module T9436 where data T = T { x :: Int } f :: T -> Int f (T' { .. }) = x + 1