blob: 7356a27ad88883ef0f30c7798ea5822e2de4efd3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE PolyKinds, DataKinds, TypeOperators, TypeFamilies #-}
module T18862 where
import Prelude (Bool)
import Data.Kind (Constraint)
import qualified Data.Type.Equality as E
type family (a :: k) ~ (b :: k) :: result_kind
type instance a ~ b = (a E.~ b :: Constraint)
type instance a ~ b = (a E.== b :: Bool)
|
