14 type family F a b c = (result :: k) | result -> a b c  type
22 type family I (a :: k) b (c :: k) = r | r -> a b  type
29 type family J a (b :: k) = r | r -> a  function
36 type family K a = r | r -> a  type
40 type family M a = r | r -> a  type
48 type family FClosed a b c = result | result -> a b c where  type
53 type family IClosed (a :: *) (b :: *) (c :: *) = r | r -> a b where  type
58 type family JClosed a (b :: k) = r | r -> a where  type
61 type family KClosed a = r | r -> a where  type
66 type family Bak a = r | r -> a where  type
73 type family Foo a = r | r -> a where  type
80 type family Bar a = r | r -> a where  type
148 type family H a b = r | r -> b a  function
149 type family Hc a b = r | r -> b a where  type
156 type family Jx a b = r | r -> a a  type
157 type family Jcx a b = r | r -> a a where  type
162 type family Kx a b = r | r -> a b b  function
163 type family Kcx a b = r | r -> a b b where  function
170 type family L (a :: k1) = (r :: k2) | r -> k1 where  type
177 type family KP (kproxy :: KProxy k) = r | r -> k  type
188 type family Gx a  type
189 type family Hx a  type
190 type family Gi a = r | r -> a  type
192 type family Hi a = r | r -> a  type
194 type family F2 a = r | r -> a  type
198 type family F4 a = r | r -> a  function
202 type family G2 a b = r | r -> a b  function
206 type family G6 a = r | r -> a  type
217 type family Id (a :: k) = (result :: k) | result -> a  function
222 type family IdProxy (a :: k) b = r | r -> a  type
227 type family IdProxySyn (a :: k) b = r | r -> a  type
232 type family Fa (a :: k) (b :: k) = (r :: k2) | r -> k  function
236 type family Arr (repr :: * -> *) (a :: *) (b :: *) = (r :: *) | r -> repr a b  function