blob: e4ea44e0fa71aedd828356601ad92be64c778be1 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE TypeFamilyDependencies #-}
module T10836 where
type family Foo a = r | r -> a where
Foo Int = Int
Foo Bool = Int
type family Bar a = r | r -> a where
Bar Int = Int
Bar Bool = Int
|