active semantics: write about Applicative instance