<*> + pure (\x0 -> x0) ` pure ()