Free_applicative