1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE DataKinds #-}
module T18723b where
import Data.Proxy
data T2 = MkT2 (Proxy
'( Int, Int, Int, Int, Int, Int, Int, Int, Int, Int
, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int
, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int
, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int
, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int
, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int
, Int, Int, Int, Int, Int
))
|
