blob: d4294c0216b157330e4cc5fc7de5e9198c8ab4b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE MagicHash, UnboxedTuples, TypeInType, TypeFamilies, TypeOperators #-}
module T17131 where
import GHC.Exts
type family TypeReps xs where
TypeReps '[] = '[]
TypeReps ((a::TYPE k) ': as) = k ': TypeReps as
type family Tuple# xs = (t :: TYPE ('TupleRep (TypeReps xs))) where
Tuple# '[a] = (# a #)
|
