full poly-isomorphism なんて存在していいの？ こんなもの認めていいのかい？