simple applicative form created