関数型言語には、フローチャートや
UMLみたいな設計の図解方法はあるの?