blob: c679fd7cd17b696b220de8891248aa847ea72887 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
module Bug where
import Data.Kind
import Data.Proxy
newtype S (f :: k1 -> k2)
= MkS (forall t. Proxy t -> Proxy (f t))
foo :: forall (a :: Type)
(f :: forall (x :: a). Proxy x -> Type).
S f -> ()
foo (MkS (sF :: _)) = ()
|