その通りだと思う。function builderで実現できるdeclarativeという点に注目してpackage descriptionに使ってみたけど、本来の目的はこれだと思った

雪だるま式に型を定義出来る事で、関数を走らせなくても型によって確定できる部分があるとき