型と式の出力をひとまずまともに