@@ -65,7 +65,6 @@ type family AllFieldsFinal self (a :: * -> *) :: Bool where
66type family Finite self (a :: * -> *) :: Bool where
66type family Finite self (a :: * -> *) :: Bool where
67 Finite self U1 = 'True
67 Finite self U1 = 'True
68− -- | The constructor field is the ADT itself. Not finite.
69 Finite self (K1 R self) = 'False
68 Finite self (K1 R self) = 'False
70 Finite self (K1 R other) = 'True
69 Finite self (K1 R other) = 'True
71 Finite self (a :*: b) = Finite self a && Finite self b
70 Finite self (a :*: b) = Finite self a && Finite self b