blob: 804bfd31daefb73ca57f4d55c89087704e2131df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE UnboxedSums #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE DataKinds, PolyKinds #-}
module T12512 where
import GHC.Exts
class Wat1 (a :: TYPE ('TupleRep ['LiftedRep, 'LiftedRep]))
deriving instance Wat1 (# a, b #)
class Wat2 (a :: TYPE ('SumRep ['LiftedRep, 'LiftedRep]))
deriving instance Wat2 (# a | b #)
|
