Minimal free applicative
Free Applicatives SEEM to work