型システム入門を読む過程で書いたものを置く