blob: 54a7e83908cdbf9372e1e60ec4a586a42412170e (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE DataKinds #-}
{-# OPTIONS -ddump-parsed-ast #-}
module T20452 where
data Proxy1 (a :: k) = Proxy1
data Proxy2 ((a :: k)) = Proxy2
class Prods1 (lhs :: Int) (name :: String) (rhs :: [(String, String)]) where {}
class Prods2 ((lhs :: Int)) ((name :: String)) ((rhs :: [(String, String)])) where {}
|
