Add missing case for Zip in GenericN
commit367497d7b4a6f9786df10570e065da734100fcd0
authorCsongor Kiss <kiss.csongor.kiss@gmail.com>
dateThu 8 Feb 2018, 15:56 (9 years ago)
parente48f8f5
src/Data/Generics/Internal/GenericN.hs+2
@@ -49,6 +49,8 @@ type family Zip (a :: Type -> Type) (b :: Type -> Type) :: Type -> Type where
4949 = Zip l l' :*: Zip r r'
5050 Zip (Rec0 p) (Rec0 a)
5151 = Rec p a
52+ Zip U1 U1
53+ = U1
5254
5355class
5456 ( Coercible (Rep a) (RepN a)