Initial Free Applicative implementation.