CHECK!!

剛剛 activity-selection 已經通過 typecheck 了！Monotonicity 和 refinement of algebra 都證得非常恐怖，我連換行縮排都懶得弄 XD。以後再來美容吧，我要睡了 XD。

--
先確定是對的再說 XD。