blob: d541677911cbcea9898af8cdecbdec3369be849c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# Language GADTs, PolyKinds, TypeFamilies, DataKinds #-}
module Fam where
import Data.Kind (Type)
data Cmp a where
Sup :: Cmp a
V :: a -> Cmp a
deriving (Show, Eq)
data family CmpInterval (a :: Cmp k) (b :: Cmp k) :: Type
data instance CmpInterval (V c) Sup = Starting c
deriving( Show )
|
