blob: 131cd9c8e7731915b02f3f47112a77c920194d82 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeFamilies #-}
module Bug where
import Data.Kind
type family Apply (f :: a -> b) (x :: a) :: b
type F :: forall a.
forall (p :: forall bOne. Either a bOne -> Type)
-> forall bTwo.
forall (e :: Either a bTwo)
-> Apply p e
type family F
|
