blob: 8470a9dc95401f6bf887bb2f1ecc7aaaea437b12 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE TypeFamilies #-}
-- Test Trac #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
|