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