mess around with applicative notation