Control.Alternative.Free

type FreeAlternative f a = Compose List (FreeAp f) a

liftFreeAlternative :: forall a f. f a -> FreeAlternative f a

lowerFreeAlternative :: forall a f. Alternative f => FreeAlternative f a -> f a

foldFreeAlternative :: forall a g f. Alternative g => (f ~> g) -> FreeAlternative f a -> g a

hoistFreeAlternative :: forall a g f. (f ~> g) -> FreeAlternative f a -> FreeAlternative g a