blob: 83f6eaaea2eb84b38fadfe04f92d651b26b93450 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE MultiParamTypeClasses, PolyKinds #-}
{-# OPTIONS_GHC -fprint-explicit-kinds #-}
module TidyClassKinds where
import Data.Proxy
class Poly a b
type ProxySyn = Proxy
instance Poly ProxySyn ProxySyn
-- output should really talk about k1 and k2, not about k and k!
|
