brittany/data/Test222.hs

6 lines
111 B
Haskell

{-# language TypeFamilies #-}
class C a where
data family F a
instance C Int where
data F Int = D Int -- x