blob: 8cccc1de453945fd2f67e9db77bb50234a07ac2b (
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
30
31
32
33
34
|
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DatatypeContexts, ExistentialQuantification #-}
module MoreExplicitForalls where
import Data.Proxy
data family F1 a
data instance forall (x :: Bool). F1 (Proxy x) = MkF
class C a where
type F2 a b
instance forall a. C [a] where
type forall b. F2 [a] b = Int
type family G a b where
forall x y. G [x] (Proxy y) = Double
forall z. G z z = Bool
data instance GMap (Either a b) v = GMapEither (GMap a v) (GMap b v)
data instance forall a (b :: Proxy a). F (Proxy b) = FProxy Bool
data instance forall k (a :: k). F a = FOtherwise -- accepted
data family D a b
data instance (Show b) => D Int b
data instance forall b . (Show b) => D Int b
data instance forall b . D Int b
|
