1 2 3 4 5 6 7
{-# LANGUAGE RecordWildCards #-} module T8448 where data R = R {r :: Int} f x = undefined [] {r = x}