これexistentialがopenされてるからfの型がラップされてsome Pからany Pになってる？