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