diff --git a/src/Data/Functor/Listable.hs b/src/Data/Functor/Listable.hs index a5c475b6d..bfec988af 100644 --- a/src/Data/Functor/Listable.hs +++ b/src/Data/Functor/Listable.hs @@ -55,3 +55,7 @@ instance Listable2 (,) where instance Listable a => Listable1 ((,) a) where liftTiers = liftTiers2 tiers + +instance Listable1 [] where + liftTiers tiers = go + where go = cons0 [] \/ liftCons2 tiers go (:)