Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / TidyClassKinds.hs
1 {-# LANGUAGE MultiParamTypeClasses, PolyKinds #-}
2 {-# OPTIONS_GHC -fprint-explicit-kinds #-}
3
4 module TidyClassKinds where
5
6 import Data.Proxy
7
8 class Poly a b
9
10 type ProxySyn = Proxy
11
12 instance Poly ProxySyn ProxySyn
13 -- output should really talk about k1 and k2, not about k and k!