1{-# LANGUAGE TypeFamilies #-} 2module OverloadedRecFldsFail10_A where 3 4data family F a 5data instance F Int = MkFInt { foo :: Int } 6