blob: 56abad5d30d4668b9477f85bcea0b5806c0060c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE TypeOperators #-}
module T14366 where
import Data.Kind
import Data.Type.Equality
type family Cast (a :: Type) (b :: Type) (e :: a :~: b) (x :: a) :: b where
Cast _ _ Refl x = x
type family F (a :: Type) :: Type where
F (a :: _) = a
|