Control.Alt.Free

type FreeAlt f a = Compose NonEmptyList f a

liftFreeAlt :: forall a f. f a -> FreeAlt f a

lowerFreeAlt :: forall a f. Alt f => FreeAlt f a -> f a

foldFreeAlt :: forall a g f. Alt g => (f ~> g) -> FreeAlt f a -> g a

hoistFreeAlt :: forall a g f. (f ~> g) -> FreeAlt f a -> FreeAlt g a