use for/cond-clause from my-cond in typed version