testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot


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

{-# LANGUAGE TypeFamilies, PolyKinds, StandaloneKindSignatures #-}

module ClosedFam3 where

import Data.Kind (Type)

type family Foo a where
  Foo Int = Bool

type family Bar a where
  Bar Int = Bool
  Bar Double = Char

type Baz :: k -> Type
type family Baz a where
  Baz Int = Bool