inlineは、個々の呼び出し地点ごとにインライン化を制御できる。

lazyは正格性解析器を抑制する。

unsafeCoearceは、型検査器を欺くことを可能にする。