generated at
Free Applicative Functor