<*> + pure id ` pure ()