blob: e7057a3f00c6198e5558772af01295b84d0aa934 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE PartialTypeSignatures #-}
module Bug where
import Data.Kind
import Data.Proxy
data Foo (x :: Type) :: forall (a :: x). Proxy a -> Type
quux :: forall arg. Proxy (Foo arg) -> ()
quux (_ :: _) = ()
|