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


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

{-# LANGUAGE TypeFamilies #-}
-- Test #2944

module T2944 where

import Data.Kind (Type)

type family T a :: Type

f1 :: T a ~ () => a
f1 = f2

f2 :: T a ~ () => a
f2 = f1