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


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

{-# LANGUAGE TypeFamilies, GADTs #-}

module GADT5 where

data T a where
  T :: T (a,b)
  -- this works:
  -- T :: p ~ (a,b) => T p

type family F a

bar :: T (F a) -> ()
bar T = ()