blob: 91cfb20a4acd363121966f302b1fa24b14756e08 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeInType #-}
module Bug where
import Data.Kind
import Data.Proxy
data Foo (x :: Type) :: forall (a :: x). Proxy a -> Type
data Bar :: Type -> Type where
MkBar :: forall x arg.
-- Commenting out the line below makes the issue go away
Foo arg ~ Foo arg =>
Bar x
|
