applicative template bug