koka(js)// 値としてeffectを用意
effect val width : int
// `width`を内部で使っている関数。`width`は引数で受け取っているわけではない
fun pretty-internal( line : string ) : width string
line.truncate(width)
// 上記の関数を呼び出すhandler。width=40と設定して実行している
fun pretty-thin(d : doc) : string
with val width = 40
pretty(d) pretty-thin 以上の呼び出し元からは width を変更することはできない