applicative form conversion passing tests