blob: 68820c252babe59a65fc41a56b983dc6322a08a0 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE TypeFamilyDependencies #-}
module T16512b where
type family G a = r | r -> a where
G [a] = [G a]
-- this needs -XUndecidableInstances.
-- See Note [Coverage condition for injective type families] in GHC.Tc.Instance.Family
|