1{-# LANGUAGE DuplicateRecordFields, TypeFamilies #-} 2module OverloadedRecFldsFail10_C (F(..)) where 3 4import OverloadedRecFldsFail10_A 5 6data instance F Char = MkFChar { foo :: Char } 7