blob: cf3b8796d638ba02b27a82beabeba240fc392e4c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module T18240a where
import Data.Proxy
class C a where
m :: Proxy a
instance (forall a. C [a]) where
m = Proxy @[a]
instance (Eq a => C [a]) where
m = Proxy @[a]
instance (forall a. C (Either a b)) where
m = Proxy @(Either a b)
instance forall a. (forall b. C (Either a b)) where
m = Proxy @(Either a b)
instance Eq a => (Eq b => C (Either a b)) where
m = Proxy @(Either a b)
-- Some other nonsensical instance types
instance 42
instance Int -> Int
|
