blob: 1f28c73d2a1c56a66e6dd66749c2d8b0d1089c37 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE PolyKinds, TypeApplications, DataKinds, RankNTypes #-}
module T15592 where
import Data.Proxy
data VisProxy k (a :: k) = MkVP
class D (a :: Proxy j) (b :: Proxy k) c where
meth1 :: forall z. D @j @k a b z => z -> Proxy '(a, b)
meth2 :: Proxy k j -> Proxy '(a, b, c)
|