blob: e487d34324dfdbc28b4471505fc080e677262ebc (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE DuplicateRecordFields, TypeFamilies #-}
module T23301 where
data family D a
data instance D Int = MkD1 { fld :: Int } | MkD1b | MkD1c { fld :: Int, bar :: Bool }
data instance D Bool = MkD2 { fld :: Bool }
foo = fld
|