From 0561f0d2f9ef894179d0a16664fc0b2d4590cfe2 Mon Sep 17 00:00:00 2001 From: Oleg Grenrus Date: Mon, 4 Dec 2023 20:33:05 +0200 Subject: [PATCH] Define Append canonically it's not a workhorse for composition, so no need to add an extra argument --- optics-core/src/Optics/Internal/Optic/TypeLevel.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/optics-core/src/Optics/Internal/Optic/TypeLevel.hs b/optics-core/src/Optics/Internal/Optic/TypeLevel.hs index 94ed7c5b..055f2b38 100644 --- a/optics-core/src/Optics/Internal/Optic/TypeLevel.hs +++ b/optics-core/src/Optics/Internal/Optic/TypeLevel.hs @@ -73,8 +73,7 @@ type family Curry (xs :: IxList) (y :: Type) :: Type where -- | Append two type-level lists together. type family Append (xs :: [k]) (ys :: [k]) :: [k] where - Append '[] ys = ys -- needed for (<%>) and (%>) - Append xs '[] = xs -- needed for (<%) + Append '[] ys = ys Append (x ': xs) ys = x ': Append xs ys -- | Class that is inhabited by all type-level lists @xs@, providing the ability