testsuite/tests/indexed-types/should_compile/Simple6.hs


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

{-# LANGUAGE TypeFamilies #-}

module ShouldCompile where

import Data.IORef

data family T a
data instance T a = T

foo :: T Int -> T Char
foo T = T

type family S a
type instance S a = a

type family SMRef (m:: * -> *) :: * -> *
type instance SMRef IO = IORef