実装を進める。もりもり作業、作業もりもり。

また腰が痛い。ストレッチが足りないのかもしれない。

『型システム入門』を 20 章まで読んだ。