blob: 4dd6f41973e545f3e3d68da5c6a145ba3b8193e2 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE TypeFamilies, DataKinds, PolyKinds, UndecidableInstances #-}
module T14066c where
type family H a b where
H a b = H b a
type X = H True Nothing -- this should fail to kind-check.
-- if it's accepted, then we've inferred polymorphic recursion for H
|
