WIP: Applicative