関数的プログラミング⑦_関数的システムのインプリメンテーション