blob: 8a78468cc49cf8fbdfd739a99d44f170a8282261 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE StandaloneKindSignatures #-}
module T14366 where
import Data.Kind
import Data.Type.Equality
type Cast :: forall (a :: Type) (b :: Type) -> a :~: b -> a -> b
type family Cast a b e x where
Cast _ _ Refl x = x
type F :: Type -> Type
type family F a where
F (a :: _) = a
|
