testsuite/tests/typecheck/should_compile/valid_hole_fits_interactions.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}

module ValidSubsInteractions where

import Data.Kind


data SBool :: Bool -> Type where
  SFalse :: SBool 'False
  STrue  :: SBool 'True

f :: SBool 'True
f = _