blob: 6781e4bd394d41ad0658b72a394dc82348457627 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TypeOperators, TypeFamilies, ConstraintKinds, PolyKinds, DataKinds, EmptyDataDecls #-}
module T19250 where
import Data.Kind
type Exp a = a -> Type
type family Eval (e :: Exp a) :: a
data Collapse :: [Constraint] -> Exp Constraint
type instance Eval (Collapse '[]) = ()
|
