blob: 2bbc09661e94455484099175d983f358fa4f9bf9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
module T18021 where
class C a where
data D a
instance forall a. C Int where
data instance D Int = MkD1 a
class X a b
instance forall a. C Bool where
data instance D Bool = MkD2
deriving (X a)
|
