blob: 3226507172441a4d0bbd84bfee7d5ef0ea352c4a (
plain)
1
2
3
4
5
|
type family T8884.Foo (a_0 :: k_1) = (r_2 :: k_1) | r_2 -> k_1 a_0 where
forall (k_3 :: *) (x_4 :: k_3). T8884.Foo (x_4 :: k_3) = x_4
type family T8884.Baz (a_0 :: k_1) = (r_2 :: k_1) | r_2 -> k_1 a_0
type instance forall (k_0 :: *)
(x_1 :: k_0). T8884.Baz (x_1 :: k_0) = x_1
|
