show
hoge
拡張ラムダ計算
applicative
hoge