testsuite/tests/deriving/should_fail/T5863a.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE DeriveDataTypeable, TypeFamilies #-}

import Data.Typeable

class C a where
    data T a :: * 

instance C Int where
    data T Int = A1 deriving (Typeable)

instance C Bool where
    data T Bool = A2 deriving (Typeable)