blob: a2186e73a35f65eab1186130eb3a21c4005c7d4a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE TypeFamilies #-}
module ValidSubsInteractions where
import Data.Kind
data SBool :: Bool -> Type where
SFalse :: SBool 'False
STrue :: SBool 'True
f :: SBool 'True
f = _
|