blob: d1b4e484458c8977475d4a103689dfa0f4f15f7b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
{-# 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 (_ :: _) = ()
|
