1 2 3 4 5 6
{-# LANGUAGE TypeFamilies #-} module OverloadedRecFldsFail10_B (F(..)) where import OverloadedRecFldsFail10_A hiding (foo) data instance F Bool = MkFBool { foo :: Int }