any Pをsome Pに変換するのを抑制するために、p: any Pの p を p as any P って書くっていうのが、やはり直感的ではない気がします (edited)