実際のときは，ちゃんと定数とかに置き直して，綺麗に書く予定

10:20 AM

いや，こんなところで型推論失敗しないと思い込んでて，コンパイルは長いわ，コンパイルが失敗してる理由を探し当てるのに四苦八苦しました．