testsuite/tests/overloadedrecflds/should_run/OverloadedRecFldsRun07_A.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE OverloadedRecordFields, TypeFamilies #-}

module OverloadedRecFldsRun07_A where

data family F a

data instance F Bool = MkFBool { foo :: Bool }
  deriving Show

data instance F Char = MkFChar { bar :: Char }
  deriving Show