>>289
一意性や自然写像性、ウェルデファインドネスはいちいち確認するべき。