これがあると、制約付けた型プログラミングでworkaround無しにいろいろできるようになる