use untyped my-cond for typed my-cond, but provide typed for/cond-clause