Tutorial on implementing an ML-like module system. A companion implementation for a tutorial (in Japanese).